a6fbc86c498b158d48b774d8ff6c47f460c5dd4b
[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 the kind of ‘a’
5     • In the expression:
6           undefined :: forall (c :: (* -> *) -> *) (d :: * -> *). c d
7       In the expression:
8         [undefined :: forall a b. a b,
9          undefined :: forall (c :: (* -> *) -> *) (d :: * -> *). c d]
10       In an equation for ‘foo’:
11           foo
12             = [undefined :: forall a b. a b,
13                undefined :: forall (c :: (* -> *) -> *) (d :: * -> *). c d]
14     • Relevant bindings include
15         foo :: [a b] (bound at tcfail122.hs:7:1)