7 Mar
2006
7 Mar
'06
7:58 p.m.
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