testsuite/runnable/case_else.elna


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

var
  x: Int := 5
  matched: Bool := false

program()
begin
  case x of
    1: assert(false)
  | 2: assert(false)
  | 3: assert(false)
  else
    matched := true
  end;
  assert(matched)
end.