%% Classes ---------------------------------------------------------------

a < b

b

c < d

d < e

e

g < a

h = Type

i = (a, g)

%% Type Constructors -----------------------------------------------------

t :Type %(var)%

%% Diagnostics -----------------------------------------------------------

Warning (line 1, column 11) implicit declaration of superclass 'b'

Warning (line 2, column 7) redeclared class 'b'

Error (line 2, column 11) cyclic class relation via 'a'

Warning (line 3, column 11) implicit declaration of superclass 'd'

Warning (line 4, column 11) implicit declaration of superclass 'e'

Warning (line 4, column 7) redeclared class 'd'

Warning (line 5, column 7) redeclared class 'e'

Error (line 5, column 11) cyclic class relation via 'c'

Error (line 6, column 11) undeclared class 'g'

Warning (line 8, column 7) redeclared class 'g'

Error (line 8, column 7) class cannot become an alias class 'g'

Warning (line 10, column 7) redeclared class 'g'

Error (line 10, column 14) cyclic class relation via 'i'

Warning (line 11, column 7) redeclared class 'i'

Error (line 11, column 7) alias class cannot become a real class 'i'

Warning (line 12, column 7) redeclared class 'i'

Warning (line 13, column 7) redeclared class 'i'

Error (line 13, column 7) inconsistent redefinition of 'i'

Warning (line 15, column 21) unchecked type 't'

Warning (line 15, column 7) redeclared class 'i'

Error (line 15, column 7) inconsistent redefinition of 'i'