diff options
| author | Eugen Wissner <belka@caraus.de> | 2026-07-19 17:09:40 +0200 |
|---|---|---|
| committer | Eugen Wissner <belka@caraus.de> | 2026-07-19 18:30:21 +0200 |
| commit | cdbc1695a93910df5729779de31912a3b4b4172b (patch) | |
| tree | 43a4c5a192df7060f8a36c75d339be7ac5722f72 /testsuite/fail_compilation/unary_negation_on_record.elna | |
| parent | cd2ee0c97348444779a155909b7ec78d89cfd2e0 (diff) | |
| download | elna-cdbc1695a93910df5729779de31912a3b4b4172b.tar.gz | |
Support unary plus operation
Diffstat (limited to 'testsuite/fail_compilation/unary_negation_on_record.elna')
| -rw-r--r-- | testsuite/fail_compilation/unary_negation_on_record.elna | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/testsuite/fail_compilation/unary_negation_on_record.elna b/testsuite/fail_compilation/unary_negation_on_record.elna new file mode 100644 index 0000000..370f04d --- /dev/null +++ b/testsuite/fail_compilation/unary_negation_on_record.elna @@ -0,0 +1,9 @@ +type + R = record + x: Int + end + +proc f(r: R): Int +return ~r (* @Error Type 'R' cannot be used with unary '~' *) + +end. |