testsuite/runnable/aggregate_argument.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(r: R) -> Int
var
  result: Int
begin
  if r.a = 1 & r.b = 2 then
    result := 0
  else
    result := 1
  end;
  return result
end

return f(R(1, 2))

end.