another import bug

[Sigbjorn Finne]

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" <ross@soi.city.ac.uk>
To: "Sigbjorn Finne" <sof@galois.com>
Cc: <cvs-hugs@haskell.org>
Sent: Thursday, September 12, 2002 16:03
Subject: Re: another import bug


> 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