hello, although i don't think the report explicitly mentions it, i think the interpretations should be the same as with imports, namely that the export specs are comulative. with this interpretation, i'd say that C is exported, as the first B, just exports {B}, and B(..) exports {B,C}, so altogether one gets {B,C}. bye iavor On Tue, Sep 11, 2001 at 12:31:05PM -0700, Sigbjorn Finne wrote:

What's the meaning of

module A (B, B(..)) where { data B = C };

Is or isn't C exported? i.e., the H98 report is silent about what it means to have entity duplicates in an export list, possibly with different 'visibility' modifiers.

--sigbjorn

_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell