Merge branch 'master' of https://github.com/ghc/testsuite
[ghc.git] / testsuite / tests / typecheck / should_fail / T7368.stderr
1
2 T7368.hs:3:10:
3     Couldn't match kind `* -> *' with `*'
4     When matching types
5       c0 :: (* -> *) -> *
6       (->) a0 :: * -> *
7     Expected type: a0 -> b0
8       Actual type: c0 b1
9     In the return type of a call of `l'
10     Probable cause: `l' is applied to too many arguments
11     In the first argument of `b', namely `(l ())'
12     In the expression: b (l ())
13
14 T7368.hs:3:13:
15     Couldn't match type `()' with `b0 a1'
16     Expected type: b1 a1
17       Actual type: ()
18     In the first argument of `l', namely `()'
19     In the first argument of `b', namely `(l ())'
20     In the expression: b (l ())