Add test for #12589
[ghc.git] / testsuite / tests / typecheck / should_fail / mc23.stderr
1
2 mc23.hs:9:29: error:
3     • Couldn't match type ‘[a0]’ with ‘[a] -> m a’
4       Expected type: (a -> b) -> [a] -> m a
5         Actual type: [a0] -> [a0]
6     • Possible cause: ‘take’ is applied to too many arguments
7       In the expression: take 5
8       In a stmt of a monad comprehension: then take 5 by x
9       In the expression: [x | x <- [1 .. 10], then take 5 by x]
10     • Relevant bindings include z :: m b (bound at mc23.hs:9:1)