diff options
Diffstat (limited to 'testsuite/fail_compilation/case_label_overflow.elna')
| -rw-r--r-- | testsuite/fail_compilation/case_label_overflow.elna | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/fail_compilation/case_label_overflow.elna b/testsuite/fail_compilation/case_label_overflow.elna new file mode 100644 index 0000000..ab6dbfd --- /dev/null +++ b/testsuite/fail_compilation/case_label_overflow.elna @@ -0,0 +1,11 @@ +var + x: Int8 := 100i8 + +begin + case x of + 100i8: assert(true) + | 100i8 + 100i8: assert(false) (* @Error Case label must be a constant expression *) + else + assert(false) + end +end. |