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