Merge branch 'master' of https://github.com/ghc/testsuite
[ghc.git] / testsuite / tests / typecheck / should_fail / mc22.stderr
1 \r
2 mc22.hs:10:26:\r
3     Couldn't match type `a' with `t0 a'\r
4       `a' is a rigid type variable bound by\r
5           a type expected by the context: [a] -> [t0 a] at mc22.hs:10:9\r
6     Expected type: [a] -> [t0 a]\r
7       Actual type: [a] -> [a]\r
8     In the return type of a call of `take'\r
9     In the expression: take 5\r
10     In a stmt of a monad comprehension: then group using take 5\r