Commit cec6e4d7 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Fix bogus error message

parent ea6cd213
......@@ -2,8 +2,7 @@
tcfail198.hs:6:17:
Couldn't match expected type `t0 -> t1'
with actual type `forall a. [a] -> [a]'
The lambda expression `\ (x : xs) -> xs ++ ...'
has one argument one argument,
The lambda expression `\ (x : xs) -> xs ++ ...' has one argument,
but its type `forall a. [a] -> [a]' has none
In the first argument of `Just', namely
`(\ (x : xs) -> xs ++ [x :: a])'
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment