Commit 53e2452f authored by simonmar's avatar simonmar
Browse files

[project @ 2000-06-08 08:54:33 by simonmar]

update expected output
parent 52d58821
rnfail014.hs:8:
All of the type variable(s) in the constraint `Eq a' are already in scope
At least one must be universally quantified here
In the type signature for an instance decl
Ambiguous constraint `Eq a'
for the type: {Eq Bool}
Each forall'd type variable mentioned by the constraint must appear after the =>
rnfail014.hs:12:
All of the type variable(s) in the constraint `Eq a' are already in scope
At least one must be universally quantified here
In the type signature for `f'
rnfail014.hs:17:
All of the type variable(s) in the constraint `Eq a' are already in scope
At least one must be universally quantified here
In the type signature for `op'
Ambiguous constraint `Eq a'
for the type: Int -> Int
Each forall'd type variable mentioned by the constraint must appear after the =>
Compilation had errors
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