aboutsummaryrefslogtreecommitdiff
path: root/testsuite/runnable/return_aggregate.elna
blob: e162498904d7a45aff4f0a01c2b705b6ab4027ab (plain)
1
2
3
4
5
6
7
8
9
10
11
12
type
  R = record
    a: Int;
    b: Int
  end

proc f(): R
return R{a: 1, b: 2}

begin
  assert(f() = R{a: 1, b: 2})
end.