classes b, c, d, e, f, g

class Type

class Type

class Type

class d

class a < d

class a < a

class a < b

class b < d

class d < d

class d < a

type t : a

class h < a

class h < c

type [__] : a -> b

vars x : a; y : Type; x : y

var

var x : b

var x < t

classes

a < Type;

b < Type;

c < Type;

d < Type;

e < Type;

f < Type;

g < Type;

h < Type

classes

a < b;

a < d;

b < d;

h < a;

h < c

types

[__] : a -> b;

t : a

vars

x < t : a %(var_4)%;

y : Type %(var_2)%

var

x : y

### Warning 3.7, void universe class declaration 'Type'

### Warning 4.7, void universe class declaration 'Type'

### Warning 6.7, void universe class declaration 'Type'

*** Error 8.11, not a class 'a'

### Warning 8.7, unchanged class 'd'

*** Error 13.7, cyclic class 'a'

### Warning 15.7, refined class 'a'

### Warning 16.7, refined class 'b'

*** Error 18.7, cyclic class 'd'

*** Error 19.7, cyclic class 'd'

### Warning 24.7, refined class 'h'

*** Error 26.7, illegal type pattern argument '__'

### Hint 28.5, is type variable 'x'

### Hint 28.12, is type variable 'y'

### Hint 28.24, not a class 'y'

### Hint 30.7, not a class 's'

*** Error 30.9, unknown type 's'

### Hint 32.5, is type variable 'x'

### Hint 32.5, rebound type variable 'x'

### Warning 32.5, type variable does not shadow normal variable 'x'

### Hint 34.5, rebound type variable 'x'

### Warning 34.5, type variable does not shadow normal variable 'x'

*** Error 36.8, illegal type pattern argument '__'