[Hugs-bugs] Module system bug

[Iavor Diatchki]

Hello,
the two modules bellow illustrate a bug in the implementation of the
module system (20060307).  The problem appears to be that
record labels are not treated as "belonging" to a type.

> module A(get) where
> import B hiding (T(..))
> data T = C { get :: Char }

> module B where
> data T = C { get :: Int }

Output when I load A.hs:
ERROR "A.hs" - Ambiguous export of entity "get"
*** Could refer to: A.get B.get

-Iavor