Re: another import bug

Quite right - the export spec for that type should now be honoured. thanks, --sigbjorn ----- Original Message ----- From: "Ross Paterson" To: Sent: Thursday, September 12, 2002 05:42 Subject: another import bug

This succeeds, but shouldn't:

module A(T) where data T = Foo

module B where import A(T(..)) f = Foo