855ec1eb18f97fd4654ffbcf6dd07363374f78bc
[ghc.git] / testsuite / tests / typecheck / should_fail / mc25.stderr
1
2 mc25.hs:9:46:
3     Couldn't match type ‛Int’ with ‛a -> t’
4     Expected type: (a -> t) -> [a] -> [t1 a]
5       Actual type: Int -> [a] -> [a]
6     Relevant bindings include z :: [t1 t] (bound at mc25.hs:9:1)
7     In the expression: take
8     In a stmt of a monad comprehension: then group by x using take
9     In the expression: [x | x <- [1 .. 10], then group by x using take]