testsuite/fail_compilation/case_label_overflow.elna


1
2
3
4
5
6
7
8
9
10
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.