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