Commit ce35c343 authored by simonpj's avatar simonpj
Browse files

[project @ 2003-02-04 13:45:45 by simonpj]

Update expected output
parent 901ca7fb
......@@ -4,7 +4,7 @@ tcfail010.hs:3:
arising from use of `+' at tcfail010.hs:3
Possible cause: the monomorphism restriction applied to the following:
q :: [a] -> [a] (bound at tcfail010.hs:3)
Probable fix: give these definitions an explicit type signature
Probable fix: give these definition(s) an explicit type signature
In the body of a lambda: z + 2
In a lambda abstraction: \ (y : z) -> z + 2
In a right-hand side of function `q': \ (y : z) -> z + 2
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