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