George Russell writes:
| Excuse me, but is it a bug or a feature that Hugs (98-Feb2001), with
| the -98 option, rejects:
|
| data G b = forall a . H a b => G a b
|
| class H a b where
|
| with "Variable "b" in constraint is not locally bound"?
What do you intend for the type of G?
G :: H a b => a -> b -> G b
...but where does the "forall a" go?
Apart from the lack of a functional dependency in the H decl, this
looks like a recent thread on the main Haskell list, subject "Fundeps
and quantified constructors".
The original question:
http://www.mail-archive.com/[email protected]/msg07982.html
The realisation that GHC permitted it:
http://www.mail-archive.com/[email protected]/msg08036.html
Regards,
Tom
_______________________________________________
Hugs-Users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/hugs-users
