Implement type constness

1 files changed, 14 insertions, 0 deletions

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.