2008/7/15 David Waern <[EMAIL PROTECTED]>: > 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?
Sorry for bothering you, I just realized all of this is explained on the wiki page. David _______________________________________________ Glasgow-haskell-bugs mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
