From a0e1740227535adc3151c02eb102c4f96b4f9731 Mon Sep 17 00:00:00 2001 From: Eugen Wissner Date: Fri, 17 Jul 2026 10:18:58 +0200 Subject: Implement type constness --- testsuite/fail_compilation/assign_const_member.elna | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 testsuite/fail_compilation/assign_const_member.elna (limited to 'testsuite/fail_compilation/assign_const_member.elna') diff --git a/testsuite/fail_compilation/assign_const_member.elna b/testsuite/fail_compilation/assign_const_member.elna new file mode 100644 index 0000000..8aecb01 --- /dev/null +++ b/testsuite/fail_compilation/assign_const_member.elna @@ -0,0 +1,14 @@ +type + R = record + x: const Int + end + +proc f() +var + r1: R := R{ x: 5 } + r2: R := R{ x: 5 } +begin + r1 := r2 (* @Error Cannot assign to a value of type 'R', because it is constant or contains constant members *) +return + +end. -- cgit v1.2.3