Implement type constness

1 files changed, 17 insertions, 0 deletions

diff --git a/testsuite/fail_compilation/assign_const_record_pointer.elna b/testsuite/fail_compilation/assign_const_record_pointer.elna
new file mode 100644
index 0000000..5e6f3df
--- /dev/null
+++ b/testsuite/fail_compilation/assign_const_record_pointer.elna
@@ -0,0 +1,17 @@
+type
+  B = record
+    x: Int
+  end
+  D = record(B)
+    y: Int
+  end
+
+proc f()
+var
+  b: ^B
+  d: ^const D
+begin
+  b := d (* @Error Expected type '\^B', but got '\^const D' *)
+return
+
+end.