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

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

program()
begin
  assert(f() = R{ a: 1, b: 2 })
return 0u8

end.