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

a = {_ < t}

b = {_ < s}

c

d

e = a

h < (a, b, e)

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

s :Type %(var)%

t :Type %(var)%

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

Warning "PossibleDownsetConflict.hascasl" (line 3, column 21) unchecked type 's'

Warning "PossibleDownsetConflict.hascasl" (line 5, column 21) unchecked type 't'

Warning "PossibleDownsetConflict.hascasl" (line 7, column 7) redeclared class 'a'

Error "PossibleDownsetConflict.hascasl" (line 7, column 7) alias class cannot become a real class 'a'

Warning "PossibleDownsetConflict.hascasl" (line 9, column 20) unchecked type 't'

Warning "PossibleDownsetConflict.hascasl" (line 9, column 7) redeclared class 'a'

Warning "PossibleDownsetConflict.hascasl" (line 11, column 20) unchecked type 's'

Warning "PossibleDownsetConflict.hascasl" (line 11, column 7) redeclared class 'a'

Error "PossibleDownsetConflict.hascasl" (line 11, column 7) inconsistent redefinition of 'a'

Warning "PossibleDownsetConflict.hascasl" (line 15, column 7) redeclared class 'a'

Error "PossibleDownsetConflict.hascasl" (line 15, column 7) inconsistent redefinition of 'a'

Warning "PossibleDownsetConflict.hascasl" (line 21, column 7) redeclared class 'h'

Warning "PossibleDownsetConflict.hascasl" (line 21, column 12) already known as super class 'a'

Warning "PossibleDownsetConflict.hascasl" (line 23, column 21) unchecked type 't'

Warning "PossibleDownsetConflict.hascasl" (line 23, column 7) redeclared class 'e'

Error "PossibleDownsetConflict.hascasl" (line 23, column 7) inconsistent redefinition of 'e'