blob: 3f6c035a55c2e53f4f94fbaa247e8adefbc4bef2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
tcfail122.hs:8:9:
Kind incompatibility when matching types:
d0 :: * -> *
b0 :: *
Expected type: a0 b0
Actual type: c0 d0
In the expression:
undefined :: forall c :: ((* -> *) -> *) d :: (* -> *). c d
In the expression:
[undefined :: forall a b. a b,
undefined :: forall c :: ((* -> *) -> *) d :: (* -> *). c d]
tcfail122.hs:8:9:
Kind incompatibility when matching types:
c0 :: (* -> *) -> *
a0 :: * -> *
In the expression:
undefined :: forall c :: ((* -> *) -> *) d :: (* -> *). c d
In the expression:
[undefined :: forall a b. a b,
undefined :: forall c :: ((* -> *) -> *) d :: (* -> *). c d]
In an equation for `foo':
foo
= [undefined :: forall a b. a b,
undefined :: forall c :: ((* -> *) -> *) d :: (* -> *). c d]
|
