Quite right - the export spec for that type should now be honoured. thanks, --sigbjorn ----- Original Message ----- From: "Ross Paterson" <ross@soi.city.ac.uk> To: <cvs-hugs@haskell.org> 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