22 Feb
2001
22 Feb
'01
10:53 p.m.
George Russell wrote:
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"?
As far as I can understand the restriction is there on purpose, although that purpose might just be to avoid trouble with the particular implementation of local existential quantification that comes with Hugs. In principle there shouldn't be any problem removing this restriction, however, I'll have to look at the code more carefully before I can make any promise about doing so in a future release. -- Johan