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.