testsuite/runnable/case_record.elna


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

program()
type
  R = record
    a: Int;
    b: Int
  end

var
  r: R := { R; a: 1, b: 2 }

begin
  case r of
    { R; a: 0, b: 0 }: assert(false) |
    { R; a: 1, b: 2 }: assert(true)
  else
    assert(false)
  end
end.