another import bug

Ross Paterson ross@soi.city.ac.uk
Fri, 13 Sep 2002 00:03:36 +0100


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).