1 2 3 4 5 6 7 8 9 10 11 12 13
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 begin end.