diff options
| author | Eugen Wissner <belka@caraus.de> | 2026-08-14 23:14:38 +0200 |
|---|---|---|
| committer | Eugen Wissner <belka@caraus.de> | 2026-08-14 23:14:38 +0200 |
| commit | 33ae72a3c73f6219be86715e8da71ed345f6077c (patch) | |
| tree | 1c6c98be816508e9231fa1ada3f79ec940ab1cf1 /testsuite/fail_compilation | |
| parent | d696abc97143061bf2abb05922188e12b59306c1 (diff) | |
| download | elna-33ae72a3c73f6219be86715e8da71ed345f6077c.tar.gz | |
Map Int and Word to hardware word sizes
Diffstat (limited to 'testsuite/fail_compilation')
| -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. |