class a < b

class b < a

%% cycle

class c < d

class d < e

class e < c

%% indirect cycle

class h = Type

%% no implicit declaration

class g

class g

%% g is already real class

class i = (a, g)

class g < (a, i)

%% cycle via i = g

class i

%% i is already alias class

class i = (a, g)

%% ok

class i = (a, g)

%% wrong redefinition

var t : Type

class i = (a, g)

%% wrong redefinition

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

a < b

b

c < d

d < e

e

g < a

h = Type

i = (a, g)

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

Pred : Type -> Type := \ a : Type . a ->? Unit

Unit : Type := Unit

t : Type %(var)%

%% Assumptions -----------------------------------------------------------

__/\__ : Unit � Unit ->? Unit

__<=>__ : Unit � Unit ->? Unit

__=__ : forall a : Type . a � a ->? Unit

__=>__ : Unit � Unit ->? Unit

__=e=__ : forall a : Type . a � a ->? Unit

__\/__ : Unit � Unit ->? Unit

def__ : forall a : Type . a ->? Unit

if__then__else__ : forall a : Type . Unit � a � a ->? a

not__ : Unit ->? Unit

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

Warning (line 1, column 13) 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 intersection class of 'i'

Hint (line 14, column 5) is type variable 't'

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

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