Improved data family export documentation
ClosedPublic

Authored by KaneTW on Dec 7 2015, 12:15 PM.

Diff Detail

Repository
rGHC Glasgow Haskell Compiler
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.
KaneTW updated this revision to Diff 5541.Dec 7 2015, 12:15 PM
KaneTW retitled this revision from to Improved data family export documentation.
KaneTW updated this object.
KaneTW edited the test plan for this revision. (Show Details)
KaneTW added a reviewer: simonpj.
KaneTW updated the Trac tickets for this revision.
simonpj accepted this revision.Dec 7 2015, 3:22 PM
simonpj edited edge metadata.

That's the place, thank you, modulo a suggested rewording above

docs/users_guide/glasgow_exts.rst
6669

Great, thanks

Perhaps say "the corresponding data family type constructor is exported along with the data constructors, regardless of whether the data family is defined locally or in another module".

This revision is now accepted and ready to land.Dec 7 2015, 3:22 PM
KaneTW updated this revision to Diff 5565.Dec 8 2015, 8:56 AM
KaneTW edited edge metadata.

Reworded user's guide entry.
I tried to make clear that not all data instances/constructors are re-exported, but only those that are defined locally.

simonpj added inline comments.Dec 8 2015, 9:06 AM
docs/users_guide/glasgow_exts.rst
6669

Better! Comma after "...and a data instance is defined".

KaneTW updated this revision to Diff 5569.Dec 8 2015, 10:11 AM
KaneTW edited edge metadata.

Comma

This revision was automatically updated to reflect the committed changes.