diff options
Diffstat (limited to 'testsuite/fail_compilation')
| -rw-r--r-- | testsuite/fail_compilation/access_record_type_field.elna | 9 | ||||
| -rw-r--r-- | testsuite/fail_compilation/enumeration_member_missing.elna | 7 |
2 files changed, 16 insertions, 0 deletions
diff --git a/testsuite/fail_compilation/access_record_type_field.elna b/testsuite/fail_compilation/access_record_type_field.elna new file mode 100644 index 0000000..4e8bc6a --- /dev/null +++ b/testsuite/fail_compilation/access_record_type_field.elna @@ -0,0 +1,9 @@ +type + R = record + field1, field2: Int + end + +proc f(): Int +return R.field1 (* @Error Cannot access field 'field1' on type 'R' *) + +end. diff --git a/testsuite/fail_compilation/enumeration_member_missing.elna b/testsuite/fail_compilation/enumeration_member_missing.elna new file mode 100644 index 0000000..84a13d1 --- /dev/null +++ b/testsuite/fail_compilation/enumeration_member_missing.elna @@ -0,0 +1,7 @@ +type + Enumeration = (one, two, three) + +proc f(): Enumeration +return Enumeration.four (* @Error Enumeration 'Enumeration' does not have a member named 'four' *) + +end. |