From 33ae72a3c73f6219be86715e8da71ed345f6077c Mon Sep 17 00:00:00 2001 From: Eugen Wissner Date: Fri, 14 Aug 2026 23:14:38 +0200 Subject: Map Int and Word to hardware word sizes --- testsuite/fail_compilation/case_label_overflow.elna | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 testsuite/fail_compilation/case_label_overflow.elna (limited to 'testsuite/fail_compilation/case_label_overflow.elna') 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. -- cgit v1.2.3