ec632f8bdbdeffd06c65e1a4f6814fd840d9194c
[ghc.git] / testsuite / tests / typecheck / should_fail / mc23.stderr
1
2 mc23.hs:9:29:
3     Couldn't match expected type `a -> t0' with actual type `[a0]'
4     Expected type: (a -> t0) -> [a] -> t1 a
5       Actual type: [a0] -> [a0]
6     In the return type of a call of `take'
7     Probable cause: `take' is applied to too many arguments
8     In the expression: take 5