testsuite/fail_compilation/case_non_constant.elna


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

type
  R = record
    a: Int;
    b: Int
  end

var
  r: R
  x: R

begin
  x := r;
  case x of
    r: (* @Error Case label must be a constant expression *)
  end
end.