2008/7/15 Manuel M T Chakravarty <[EMAIL PROTECTED]>: > They cannot be explicitly exported - they are really like class instances > wrt to import/export. > > However, you *can* export the data constructors introduced by a data > instances (just like you can export the data constructors of vanilla > algebraic data types). That's what rl is doing here. He is exporting the > data constructor, not the instances (which is implicitly exported anyway).
Ah, I see. So if you have multiple instances, the union of all their data constructors will be exported? What happens in the case of associated types? Are their data constructors always exported, or can they also be exported explicitly somehow? David _______________________________________________ Glasgow-haskell-bugs mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
