Enforce case label uniqueness and constness

2 files changed, 8 insertions, 1 deletions

diff --git a/testsuite/fail_compilation/case_non_constant.elna b/testsuite/fail_compilation/case_non_constant.elna
index 2f19df8..dc69703 100644
--- a/testsuite/fail_compilation/case_non_constant.elna
+++ b/testsuite/fail_compilation/case_non_constant.elna
@@ -11,6 +11,6 @@ var
 begin
   x := r;
   case x of
-    r: (* @Error Expected a constant expression *)
+    r: (* @Error Case label must be a constant expression *)
   end
 end.
diff --git a/testsuite/fail_compilation/case_unique_label.elna b/testsuite/fail_compilation/case_unique_label.elna
new file mode 100644
index 0000000..a97fb37
--- /dev/null
+++ b/testsuite/fail_compilation/case_unique_label.elna
@@ -0,0 +1,7 @@
+begin
+  case 3 of
+    1:
+  | 3:
+  | 1 + 2: (* @Error Duplicate case label *)
+  end
+end.