From c07c43bf911f62ad6363c024b3f81ceb4f95b16c Mon Sep 17 00:00:00 2001 From: Eugen Wissner Date: Sun, 2 Aug 2026 00:45:05 +0200 Subject: Report field access errors --- testsuite/fail_compilation/access_record_type_field.elna | 9 +++++++++ testsuite/fail_compilation/enumeration_member_missing.elna | 7 +++++++ 2 files changed, 16 insertions(+) create mode 100644 testsuite/fail_compilation/access_record_type_field.elna create mode 100644 testsuite/fail_compilation/enumeration_member_missing.elna (limited to 'testsuite') 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. -- cgit v1.2.3