Improve improvement in the constraint solver
[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     Relevant bindings include foo :: [a b] (bound at tcfail122.hs:7:1)
10     In the expression:
11         undefined :: forall (c :: (* -> *) -> *) (d :: * -> *). c d
12     In the expression:
13       [undefined :: forall a b. a b,
14        undefined :: forall (c :: (* -> *) -> *) (d :: * -> *). c d]
15     In an equation for ‘foo’:
16         foo
17           = [undefined :: forall a b. a b,
18              undefined :: forall (c :: (* -> *) -> *) (d :: * -> *). c d]