
16 Sep
2002
16 Sep
'02
11:08 a.m.
Thanks, now fixed (see commit for details.)
--sigbjorn
----- Original Message -----
From: "Ross Paterson"
This is getting a lot harder, but:
module A where data Foo = Foo
module B(module A) where import A hiding (Foo) import A (Foo)
module C where import B f = Foo -- should fail, but doesn't