Implement type constness

2 files changed, 22 insertions, 0 deletions

diff --git a/testsuite/runnable/const_copy.elna b/testsuite/runnable/const_copy.elna
new file mode 100644
index 0000000..5982149
--- /dev/null
+++ b/testsuite/runnable/const_copy.elna
@@ -0,0 +1,12 @@
+proc f()
+var
+  x: const Int := 5
+  y: Int
+begin
+  y := x;
+  assert(y = 5)
+return
+
+begin
+  f()
+end.
diff --git a/testsuite/runnable/const_initialization.elna b/testsuite/runnable/const_initialization.elna
new file mode 100644
index 0000000..7f922ff
--- /dev/null
+++ b/testsuite/runnable/const_initialization.elna
@@ -0,0 +1,10 @@
+proc f()
+var
+  x: const Int := 5
+begin
+  assert(x = 5)
+return
+
+begin
+  f()
+end.