1a38107941725211e7c3f051f7a8f5e12199f03acmaederclasses a, b, c, d

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reillytypes r : a;

e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens Elkner s : a;

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reilly s : b;

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reilly t : c

98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu Prodescutypes [__], {__} : a -> b

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reillyvars u : [ r ]; v : { s }

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reillytype tuple3 : a -> b -> c -> d

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reillyvar x : tuple3 r s t

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reillyvar y : tuple3 r s

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reillytype tuple1 : b -> a

33bdce26495121cdbce30331ef90a1969126a840Liam O'Reillytype m : (a -> b) -> c

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reillyvar

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reillytype List : a -> b

33bdce26495121cdbce30331ef90a1969126a840Liam O'Reillyvar w : m List

9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'Reillyvar o1 : m

57221209d11b05aa0373cc3892d5df89ba96ebf9Christian Maedervar o2 : m tuple1

66bc8d6e69cde43f1ccbeb76104cf7b8038acd6cChristian Maedervar o3 : m tuple3

66bc8d6e69cde43f1ccbeb76104cf7b8038acd6cChristian Maedervar nt : a -> (b -> c) -> c -> d

e90dc723887d541f809007ae81c9bb73ced9592eChristian Maedervar o4 : nt r List s

d5833d2ee7bafcbf2fdd2bdfd9a728c769b100c7Christian Maedertypes s1, r1, t1 < t

33bdce26495121cdbce30331ef90a1969126a840Liam O'Reillytypes s2 = r2 = t2

56899f6457976a2ee20f6a23f088cb5655b15715Liam O'Reillytype s3 = {x : t . x = x}

66bc8d6e69cde43f1ccbeb76104cf7b8038acd6cChristian Maeder%% Classes ---------------------------------------------------------------

a00461fcf7432205a79a0f12dbe6c1ebc58bc000Christian Maedera < Type

33bdce26495121cdbce30331ef90a1969126a840Liam O'Reillyb < Type

33bdce26495121cdbce30331ef90a1969126a840Liam O'Reillyc < Type

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reillyd < Type

648fe1220044aac847acbdfbc4155af5556063ebChristian Maeder%% Type Constructors -----------------------------------------------------

648fe1220044aac847acbdfbc4155af5556063ebChristian MaederList : a -> b

7830e8fa7442fb7452af7ecdba102bc297ae367eChristian Maeder[__] : a -> b

f21c7417bdd1c0282025cba0f5cb0ff5bc5c98eeLiam O'Reillym : (a -> b) -> c

648fe1220044aac847acbdfbc4155af5556063ebChristian Maederr : a

50c62c8c45643f09bcb2f4a99b07bf1d072ecf40Christian Maederr1 : c < t

33bdce26495121cdbce30331ef90a1969126a840Liam O'Reillyr2 : Type < s2

c0833539c8cf577dd3f2497792fbdd818442744cChristian Maeders : (b, a)

33bdce26495121cdbce30331ef90a1969126a840Liam O'Reillys1 : c < t

33bdce26495121cdbce30331ef90a1969126a840Liam O'Reillys2 : Type

7830e8fa7442fb7452af7ecdba102bc297ae367eChristian Maeders3 : Type < t

33bdce26495121cdbce30331ef90a1969126a840Liam O'Reillyt : c

fa373bc327620e08861294716b4454be8d25669fChristian Maedert1 : c < t

036ecbd8f721096321f47cf6a354a9d1bf3d032fChristian Maedert2 : Type < (r2, s2)

aa4d26536fffe0153cd81d28925985892ac2f300Christian Maedertuple1 : b -> a

2a5b885d9350ec6dd8bc4992ee91d2f68aa592f4Christian Maedertuple3 : a -> b -> c -> d

f21c7417bdd1c0282025cba0f5cb0ff5bc5c98eeLiam O'Reilly{__} : a -> b

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reilly%% Type Variables --------------------------------------------------------

b1f12c962a6fb28a298b36cf6a1dcf2ad788fb58Christian Maedernt : a -> (b -> c) -> c -> d %(var_1)%

b1f12c962a6fb28a298b36cf6a1dcf2ad788fb58Christian Maeder%% Variables -------------------------------------------------------------

1a38107941725211e7c3f051f7a8f5e12199f03acmaedero1 : m

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reillyo2 : m tuple1

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reillyo3 : m tuple3

53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reillyo4 : nt r List s

33bdce26495121cdbce30331ef90a1969126a840Liam O'Reillyu : [ r ]

33bdce26495121cdbce30331ef90a1969126a840Liam O'Reillyv : { s }

9e5f4073e948104307d43c3962d624b8416f191fLiam O'Reillyw : m List

648fe1220044aac847acbdfbc4155af5556063ebChristian Maederx : tuple3 r s t

648fe1220044aac847acbdfbc4155af5556063ebChristian Maedery : tuple3 r s

648fe1220044aac847acbdfbc4155af5556063ebChristian Maeder%% Diagnostics -----------------------------------------------------------

648fe1220044aac847acbdfbc4155af5556063ebChristian Maeder### Hint 7.6, not a kind '[r]'

648fe1220044aac847acbdfbc4155af5556063ebChristian Maeder### Hint 7.14, not a kind '{s}'

648fe1220044aac847acbdfbc4155af5556063ebChristian Maeder### Hint 11.7, not a kind 'tuple3 r s t'

648fe1220044aac847acbdfbc4155af5556063ebChristian Maeder### Hint 12.7, not a kind 'tuple3 r s'

648fe1220044aac847acbdfbc4155af5556063ebChristian Maeder*** Error 12.9-12.18, no kind found for 'tuple3 r s'

648fe1220044aac847acbdfbc4155af5556063ebChristian Maeder expected: Type

648fe1220044aac847acbdfbc4155af5556063ebChristian Maeder found: c -> d

648fe1220044aac847acbdfbc4155af5556063ebChristian Maeder

ebd23ec61635b0bebf7969d14f65b9d1e39f2b26Liam O'Reilly### Hint 18.7, not a kind 'm [__]'

d5833d2ee7bafcbf2fdd2bdfd9a728c769b100c7Christian Maeder*** Error 18.12, unexpected place '__'

d5833d2ee7bafcbf2fdd2bdfd9a728c769b100c7Christian Maeder### Hint 22.7, not a kind 'm List'

9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'Reilly### Hint 24.8, not a class 'm'

9aeda2b3ae8ce0b018955521e4ca835a8ba8a27bLiam O'Reilly*** Error 24.10, no kind found for 'm'

33bdce26495121cdbce30331ef90a1969126a840Liam O'Reilly expected: Type

648fe1220044aac847acbdfbc4155af5556063ebChristian Maeder found: (a -> b) -> c

648fe1220044aac847acbdfbc4155af5556063ebChristian Maeder

648fe1220044aac847acbdfbc4155af5556063ebChristian Maeder### Hint 26.8, not a kind 'm tuple1'

648fe1220044aac847acbdfbc4155af5556063ebChristian Maeder### Hint 26.10-26.12, no kind found for 'tuple1'

d5833d2ee7bafcbf2fdd2bdfd9a728c769b100c7Christian Maeder expected: a -> b

648fe1220044aac847acbdfbc4155af5556063ebChristian Maeder found: b -> a

1a38107941725211e7c3f051f7a8f5e12199f03acmaeder

33bdce26495121cdbce30331ef90a1969126a840Liam O'Reilly*** Error 26.10-26.12, no kind found for 'm tuple1'

fa373bc327620e08861294716b4454be8d25669fChristian Maeder### Hint 28.8, not a kind 'm tuple3'

fa373bc327620e08861294716b4454be8d25669fChristian Maeder### Hint 28.10-28.12, no kind found for 'tuple3'

fa373bc327620e08861294716b4454be8d25669fChristian Maeder expected: a -> b

fa373bc327620e08861294716b4454be8d25669fChristian Maeder found: a -> b -> c -> d

fa373bc327620e08861294716b4454be8d25669fChristian Maeder

fa373bc327620e08861294716b4454be8d25669fChristian Maeder*** Error 28.10-28.12, no kind found for 'm tuple3'

fa373bc327620e08861294716b4454be8d25669fChristian Maeder### Hint 30.5, is type variable 'nt'

fa373bc327620e08861294716b4454be8d25669fChristian Maeder### Hint 32.8, not a kind 'nt r List s'

fa373bc327620e08861294716b4454be8d25669fChristian Maeder### Hint 32.10-32.20, no kind found for 'List'

fa373bc327620e08861294716b4454be8d25669fChristian Maeder expected: b -> c

fa373bc327620e08861294716b4454be8d25669fChristian Maeder found: a -> b

648fe1220044aac847acbdfbc4155af5556063ebChristian Maeder

648fe1220044aac847acbdfbc4155af5556063ebChristian Maeder*** Error 32.10-32.20, no kind found for 'nt r List s'

d5833d2ee7bafcbf2fdd2bdfd9a728c769b100c7Christian Maeder*** Error 36.9, subtyping cycle via 's2' and 'r2'

e8d99f05c231b379be702a1aa8c7dd0b3c666928Liam O'Reilly*** Error 36.12, subtyping cycle via 's2' and 't2'

e8d99f05c231b379be702a1aa8c7dd0b3c666928Liam O'Reilly*** Error 36.12, subtyping cycle via 'r2' and 't2'

7857a35e3af533dfbd0f0e18638ebd211e6358a0Christian Maeder### Hint 38.12, rebound variable 'x'

7857a35e3af533dfbd0f0e18638ebd211e6358a0Christian Maeder