testsuite/runnable/aggregate_equality.elna


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

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

proc f() -> Int
var
  result: Int
begin
  if R(1, 2) = R(1, 2) then
    result := 0
  else
    result := 1
  end;
  return result
end

return f()

end.