diff options
| author | Eugen Wissner <belka@caraus.de> | 2026-07-24 21:28:33 +0200 |
|---|---|---|
| committer | Eugen Wissner <belka@caraus.de> | 2026-07-25 02:22:34 +0200 |
| commit | 1e0f89df48ba10cdde80bd623b84e20fb48b977d (patch) | |
| tree | 58f550342ff7ef42e506131b5c04a35ffdeb4a00 /testsuite/runnable/case_int.elna | |
| parent | 6301c1f2f669b84a429e836888629873721e7219 (diff) | |
| download | elna-1e0f89df48ba10cdde80bd623b84e20fb48b977d.tar.gz | |
Accept any constant types in case labels
Diffstat (limited to 'testsuite/runnable/case_int.elna')
| -rw-r--r-- | testsuite/runnable/case_int.elna | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/runnable/case_int.elna b/testsuite/runnable/case_int.elna new file mode 100644 index 0000000..3b770a7 --- /dev/null +++ b/testsuite/runnable/case_int.elna @@ -0,0 +1,12 @@ +var + x: Int := 2 + +begin + case x of + 1: assert(false) + | 2: assert(true) + | 3: assert(false) + else + assert(false) + end +end. |