testsuite/fail_compilation/record-base-cycle-indirect.elna


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

type
  A = record(B)
    x: Int
  end
  B = record(A) (* @Error Type declaration forms a cycle: A -> B -> A *)
    y: Int
  end

var
  v: A

program()
begin
return 0u8

end.