another import bug

12 Sep 2002


      This succeeds, but shouldn't:

	module A(T) where
	data T = Foo

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

Ross Paterson