testsuite/runnable/record_base_constructor.elna


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

type
  Base = record
    a: Int
  end
  Child = record(Base)
    b: Int
  end
  Grandchild = record(Child)
    c: Int
  end

var
  g: Grandchild := Grandchild{a: 3, b: 5, c: 7}

program()
begin
  assert(g.a = 3);
  assert(g.b = 5);
  assert(g.c = 7)
return 0u8

end.