01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maederclass b, c, d, e, f, g < Type

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maederclass Type < Type

e6d40133bc9f858308654afb1262b8b483ec5922Till Mossakowskiclass Type < Type

1549f3abf73c1122acff724f718b615c82fa3648Till Mossakowskiclass Type < Type

97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maederclass d < Type

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maederclass a < d

3f69b6948966979163bdfe8331c38833d5d90ecdChristian Maederclass a < a

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maederclass a < b

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maederclass b < d

f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maederclass d < d

e6d40133bc9f858308654afb1262b8b483ec5922Till Mossakowskiclass d < a

1549f3abf73c1122acff724f718b615c82fa3648Till Mossakowskitype t : a

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maederclass h < a

1549f3abf73c1122acff724f718b615c82fa3648Till Mossakowskiclass h < c

1549f3abf73c1122acff724f718b615c82fa3648Till Mossakowskitype [__] : a -> b

1549f3abf73c1122acff724f718b615c82fa3648Till Mossakowskivar x : a; y : Type; x : y

1549f3abf73c1122acff724f718b615c82fa3648Till Mossakowskivar

a001917177db7ae636853b37c0d0f9f4e90a83ffChristian Maedervar x : b

a001917177db7ae636853b37c0d0f9f4e90a83ffChristian Maedervar x < t

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maedersort

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder%% Classes ---------------------------------------------------------------

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maedera < (b, d)

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maederb < d

f8b715ab2993083761c0aedb78f1819bcf67b6ccChristian Maederc < Type

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maederd < Type

575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian Maedere < Type

ad270004874ce1d0697fb30d7309f180553bb315Christian Maederf < Type

ad270004874ce1d0697fb30d7309f180553bb315Christian Maederg < Type

5e46b572ed576c0494768998b043d9d340594122Till Mossakowskih < (c, a)

db453fe9625a9dab5d108f7a5e464598814144b8Jian Chun Wang%% Type Constructors -----------------------------------------------------

23a00c966f2aa8da525d7a7c51933c99964426c0Christian Maeder[__] : a -> b

575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian Maedert : a

575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian Maeder%% Type Variables --------------------------------------------------------

575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian Maederx < t : a %(var_4)%

db453fe9625a9dab5d108f7a5e464598814144b8Jian Chun Wangy : Type %(var_2)%

575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian Maeder%% Variables -------------------------------------------------------------

575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian Maederx : y

a001917177db7ae636853b37c0d0f9f4e90a83ffChristian Maeder%% Diagnostics -----------------------------------------------------------

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

58b671de3fe578346fef9642ffa3c5a0a0edb3cbTill Mossakowski### Warning 4.7, void universe class declaration 'Type'

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder### Warning 6.7, void universe class declaration 'Type'

0e2ae85e2453466d03c1fc5884a3d693235bb9d9Christian Maeder*** Error 8.11, not a class 'a'

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder### Warning 8.7, unchanged class 'd'

ca020e82eb3567e7bdbb1cf70729efbd07e9caa4Klaus Luettich*** Error 13.7, cyclic class 'a'

2561b4bfc45d280ee2be8a7870314670e4e682e4Christian Maeder### Hint 15.7, refined class 'a'

ca020e82eb3567e7bdbb1cf70729efbd07e9caa4Klaus Luettich### Hint 16.7, refined class 'b'

ca020e82eb3567e7bdbb1cf70729efbd07e9caa4Klaus Luettich*** Error 18.7, cyclic class 'd'

ca020e82eb3567e7bdbb1cf70729efbd07e9caa4Klaus Luettich*** Error 19.7, cyclic class 'd'

ca020e82eb3567e7bdbb1cf70729efbd07e9caa4Klaus Luettich### Hint 24.7, refined class 'h'

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

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

58b671de3fe578346fef9642ffa3c5a0a0edb3cbTill Mossakowski### Hint 28.12, is type variable 'y'

03136b84a0c70d877e227444f0875e209506b9e4Christian Maeder### Hint 28.24, not a class 'y'

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder### Hint 30.7, not a class 's'

4b6aa93c12e4db86ccc7694a48a73e9cf7262d06Christian Maeder*** Error 30.9, unknown type 's'

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

986d3f255182539098a97ac86da9eeee5b7a72e3Christian Maeder### Hint 32.5, rebound type variable 'x'

986d3f255182539098a97ac86da9eeee5b7a72e3Christian Maeder### Hint 34.5, rebound type variable 'x'

986d3f255182539098a97ac86da9eeee5b7a72e3Christian Maeder*** Error 36.8, illegal type pattern argument '__'

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder