Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail122.stderr
1
2 tcfail122.hs:8:9: error:
3     • Couldn't match kind ‘* -> *’ with ‘*’
4       When matching types
5         c0 :: (* -> *) -> *
6         a :: * -> *
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]
18     • Relevant bindings include
19         foo :: [a b] (bound at tcfail122.hs:7:1)