
12 Sep
2002
12 Sep
'02
7:20 p.m.
Blimey, who writes code like that? Will have to think about
whether there's a low-impact way of accommodating this with
the current internal representation of export lists.
--sigbjorn
----- Original Message -----
From: "Ross Paterson"
Another one that should fail but doesn't:
module A(method) where class Class a where method :: a -> a
module B where import A f :: Class a => a -> a f = method
Exporting a method shouldn't add in its class (ditto fields and types I suppose). _______________________________________________ Cvs-hugs mailing list Cvs-hugs@haskell.org http://www.haskell.org/mailman/listinfo/cvs-hugs