3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederclasses b, c, d, e, f, g

fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4fEwaryst Schulzclass Type

e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens Elknerclass Type

fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4fEwaryst Schulzclass Type

fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4fEwaryst Schulzclass d

fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4fEwaryst Schulzclass a < d

fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4fEwaryst Schulzclass a < a

fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4fEwaryst Schulzclass a < b

fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4fEwaryst Schulzclass b < d

a09707472be393eb631a8f033d61cfa9b7f74369Ewaryst Schulzclass d < d

fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4fEwaryst Schulzclass d < a

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroedertype t : a

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederclass h < a

fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4fEwaryst Schulzclass h < c

b23f0e37a243f0a5819667a61d50e5e3541fac8dEwaryst Schulztype [__] : a -> b

fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4fEwaryst Schulzvars x : a; y : Type; x : y

a09707472be393eb631a8f033d61cfa9b7f74369Ewaryst Schulzvar

9b67773d9991de68409461a7607a65a0de9a80bdEwaryst Schulzvar x : b

9b67773d9991de68409461a7607a65a0de9a80bdEwaryst Schulzvar x < t

fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4fEwaryst Schulztype

a09707472be393eb631a8f033d61cfa9b7f74369Ewaryst Schulzclasses

0f3d0ad36baa212b0ec412640655d5b906c25cfeEwaryst Schulza < (b, d);

00f83ffcfea8e91d81db648a3f78d59fea197f1fEwaryst Schulzb < d;

fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4fEwaryst Schulzc < Type;

fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4fEwaryst Schulzd < Type;

fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4fEwaryst Schulze < Type;

f44b7a2f81deda371f621f469d50b96417b7b125Ewaryst Schulzf < Type;

fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4fEwaryst Schulzg < Type;

910012c2b85f5f5245b691ae59a9da9a6597a7aeEwaryst Schulzh < (a, c)

e626064efa479f5fee5785ea7e806cdb706484c4Ewaryst Schulztypes

fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4fEwaryst Schulz[__] : a -> b;

fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4fEwaryst Schulzt : a

7171a8d5453e29a741ff1a77fa5eeb5f0ef323d1Ewaryst Schulzvars

a698a9c3de04b484cf37e64eec1f28fbde790efdEwaryst Schulzx < t : a %(var_4)%;

a698a9c3de04b484cf37e64eec1f28fbde790efdEwaryst Schulzy : Type %(var_2)%

5815bdce64892624676670501231b62f3d534898Ewaryst Schulzvar

fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4fEwaryst Schulzx : y

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder### Warning 3.7, void universe class declaration 'Type'

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder### Warning 4.7, void universe class declaration 'Type'

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder### Warning 6.7, void universe class declaration 'Type'

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

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder### Warning 8.7, unchanged class 'd'

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder*** Error 13.7, cyclic class 'a'

fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4fEwaryst Schulz### Hint 15.7, refined class 'a'

fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4fEwaryst Schulz### Hint 16.7, refined class 'b'

099047c647cc728008347b776bde333a3aba40fdEwaryst Schulz*** Error 18.7, cyclic class 'd'

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder*** Error 19.7, cyclic class 'd'

099047c647cc728008347b776bde333a3aba40fdEwaryst Schulz### Hint 24.7, refined class 'h'

099047c647cc728008347b776bde333a3aba40fdEwaryst Schulz*** Error 26.7, illegal type pattern argument '__'

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

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

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

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

a698a9c3de04b484cf37e64eec1f28fbde790efdEwaryst Schulz*** Error 30.9, unknown type 's'

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

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

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

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder*** Error 36.8, illegal type pattern argument '__'

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder