another import bug

Ross Paterson ross@soi.city.ac.uk
Thu, 12 Sep 2002 13:42:32 +0100


This succeeds, but shouldn't:

	module A(T) where
	data T = Foo

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