ross 2004/02/02 15:49:19 PST
Modified files:
src static.c
Log:
Exclude class parameters from the check of explicitly quantified vars.
In -98 mode, it is possible to add explicit quantification:
my_id = forall a. a -> a
and then Hugs checks that the explicitly quantified vars are exactly
those used. But in the case of members of classes, it was rejecting
class Functor f => PreMonad f where
unit :: forall a. a -> f a
saying that f wasn't quantified, when it's actually bound by the
class declaration.
Revision Changes Path
1.168 +6 -4 hugs98/src/static.c
_______________________________________________
Cvs-hugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-hugs
