[GHC] #2436: Bad warning when exporting data families

[David Waern]

2008/7/15 David Waern <david.waern at gmail.com>:
> 2008/7/15 Manuel M T Chakravarty <chak at cse.unsw.edu.au>:
>> 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