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