blob: 84437750a1a9f0f64a41bd894704161703554d75 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
tcfail122.hs:9:9: error: [GHC-18872]
• Couldn't match kind ‘* -> *’ with ‘*’
When matching types
d0 :: * -> *
b :: *
Expected: a b
Actual: 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]
In an equation for ‘foo’:
foo
= [undefined :: forall a b. a b,
undefined :: forall (c :: (* -> *) -> *) (d :: * -> *). c d]
• Relevant bindings include
foo :: [a b] (bound at tcfail122.hs:8:1)
|
