Accept any constant types in case labels

1 files changed, 17 insertions, 0 deletions

diff --git a/testsuite/runnable/case_record.elna b/testsuite/runnable/case_record.elna
new file mode 100644
index 0000000..4f65a5b
--- /dev/null
+++ b/testsuite/runnable/case_record.elna
@@ -0,0 +1,17 @@
+type
+  R = record
+    a: Int;
+    b: Int
+  end
+
+var
+  r: R := R{a: 1, b: 2}
+
+begin
+  case r of
+    R{a: 0, b: 0}: assert(false)
+  | R{a: 1, b: 2}: assert(true)
+  else
+    assert(false)
+  end
+end.