Implement type constness

13 files changed, 119 insertions, 11 deletions

diff --git a/testsuite/compilable/float_literals.elna b/testsuite/compilable/float_literals.elna
index ed23989..77af6b1 100644
--- a/testsuite/compilable/float_literals.elna
+++ b/testsuite/compilable/float_literals.elna
@@ -1,9 +1,9 @@
 proc f()
-const
-  x := 3.14
-  y := 1e10
-  z := 4.567e8
-  t := 2.5E-3
+var
+  x: const Float := 3.14
+  y: const Float := 1e10
+  z: const Float := 4.567e8
+  t: const Float := 2.5E-3
 return
 
 end.
diff --git a/testsuite/compilable/pointer_const_conversion.elna b/testsuite/compilable/pointer_const_conversion.elna
new file mode 100644
index 0000000..fd8e097
--- /dev/null
+++ b/testsuite/compilable/pointer_const_conversion.elna
@@ -0,0 +1,7 @@
+var
+  x: Int
+  p: ^const Int
+
+begin
+  p := @x
+end.
diff --git a/testsuite/compilable/take_const_address.elna b/testsuite/compilable/take_const_address.elna
new file mode 100644
index 0000000..54a2992
--- /dev/null
+++ b/testsuite/compilable/take_const_address.elna
@@ -0,0 +1,7 @@
+var
+  x: ^const Int
+  y: const Int
+
+begin
+  x := @y
+end.
diff --git a/testsuite/fail_compilation/assign_const_array_pointer.elna b/testsuite/fail_compilation/assign_const_array_pointer.elna
new file mode 100644
index 0000000..32dc66d
--- /dev/null
+++ b/testsuite/fail_compilation/assign_const_array_pointer.elna
@@ -0,0 +1,9 @@
+proc f()
+var
+  p: ^[2]Int
+  q: ^const [2]Int
+begin
+  p := q (* @Error Expected type '\^\[2\]Int', but got '\^const \[2\]Int' *)
+return
+
+end.
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.
diff --git a/testsuite/fail_compilation/assign_const_primitive.elna b/testsuite/fail_compilation/assign_const_primitive.elna
new file mode 100644
index 0000000..34b095b
--- /dev/null
+++ b/testsuite/fail_compilation/assign_const_primitive.elna
@@ -0,0 +1,8 @@
+proc f()
+var
+  x: const Int
+begin
+  x := 5 (* @Error Cannot assign to a value of type 'const Int', because it is constant or contains constant members *)
+return
+
+end.
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.
diff --git a/testsuite/fail_compilation/assign_deep_const_pointer.elna b/testsuite/fail_compilation/assign_deep_const_pointer.elna
new file mode 100644
index 0000000..7ed3840
--- /dev/null
+++ b/testsuite/fail_compilation/assign_deep_const_pointer.elna
@@ -0,0 +1,9 @@
+proc f()
+var
+  p: ^^const Int
+  q: ^^Int
+begin
+  p := q (* @Error Expected type '\^\^const Int', but got '\^\^Int' *)
+return
+
+end.
diff --git a/testsuite/fail_compilation/assign_element_of_const.elna b/testsuite/fail_compilation/assign_element_of_const.elna
new file mode 100644
index 0000000..9afd520
--- /dev/null
+++ b/testsuite/fail_compilation/assign_element_of_const.elna
@@ -0,0 +1,8 @@
+proc f()
+var
+  a: const [2]Int
+begin
+  a[1] := 6 (* @Error Cannot assign to a value of type 'const Int', because it is constant or contains constant members *)
+return
+
+end.
diff --git a/testsuite/fail_compilation/assign_member_of_const.elna b/testsuite/fail_compilation/assign_member_of_const.elna
new file mode 100644
index 0000000..fc945bb
--- /dev/null
+++ b/testsuite/fail_compilation/assign_member_of_const.elna
@@ -0,0 +1,13 @@
+type
+  R = record
+    x: Int
+  end
+
+proc f()
+var
+  r: const R := R{ x: 5 }
+begin
+  r.x := 6 (* @Error Cannot assign to a value of type 'const Int', because it is constant or contains constant members *)
+return
+
+end.
diff --git a/testsuite/fail_compilation/local_const_exported.elna b/testsuite/fail_compilation/local_const_exported.elna
deleted file mode 100644
index 1c6c728..0000000
--- a/testsuite/fail_compilation/local_const_exported.elna
+++ /dev/null
@@ -1,6 +0,0 @@
-proc test_local_export()
-const
-  c* := 42 (* @Error Local symbol 'c' cannot be exported *)
-return
-
-end.
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.