aboutsummaryrefslogtreecommitdiff
path: root/testsuite/runnable/case_record.elna
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/runnable/case_record.elna')
-rw-r--r--testsuite/runnable/case_record.elna17
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.