Commit 0a0a2da2 authored by simonpj's avatar simonpj
Browse files

[project @ 2001-12-28 10:25:02 by simonpj]

Update output
parent 19b9798c
We should get errors for
class Foo a where
op :: Eq a => a -> a
and
instance Wob a => Wob Bool
as well!
rnfail014.hs:12:
Ambiguous constraint `Eq a'
At least one of the forall'd type variables mentioned by the constraint
must be reachable from the type after the =>
must be reachable from the type after the '=>'
In the type: forall a. (Eq a) => Int -> Int
While checking the type signature for `f'
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