ec0f6a33bd1f3a398068c8aa9de1c511b297fbc2
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail122.stderr
1
2 tcfail122.hs:8:9:
3     Couldn't match kind ‛* -> *’ with ‛*’
4     When matching types
5       d0 :: * -> *
6       b :: *
7     Expected type: a b
8       Actual type: c0 d0
9     In the expression:
10         undefined :: forall (c :: (* -> *) -> *) (d :: * -> *). c d
11     In the expression:
12       [undefined :: forall a b. a b,
13        undefined :: forall (c :: (* -> *) -> *) (d :: * -> *). c d]
14     In an equation for ‛foo’:
15         foo
16           = [undefined :: forall a b. a b,
17              undefined :: forall (c :: (* -> *) -> *) (d :: * -> *). c d]