diff options
Diffstat (limited to 'testsuite/runnable/case_record.elna')
| -rw-r--r-- | testsuite/runnable/case_record.elna | 17 |
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. |
