diff options
| author | David Kraeutmann <kane@kane.cx> | 2015-12-11 22:36:55 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-12-11 22:40:52 +0100 |
| commit | b1382481ac14a9f8999321581eaf88148bd44415 (patch) | |
| tree | 1f5f73fe37b1eb2024b1eb9ed0c8b69f06fe515b /docs | |
| parent | c205aebda7005744a5bbe44c11f37e98242145fa (diff) | |
| download | haskell-b1382481ac14a9f8999321581eaf88148bd44415.tar.gz | |
Improved data family export documentation
Reviewers: simonpj, austin, bgamari
Reviewed By: simonpj
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D1587
GHC Trac Issues: #11164
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index 0959337ddc..9993618103 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -6666,6 +6666,11 @@ adjustment for type families: associated types ``Tj``. The types need a keyword "``type``" to distinguish them from data constructors. +- Whenever there is no export list and a data instance is defined, the + corresponding data family type constructor is exported along with + the new data constructors, regardless of whether the data family + is defined locally or in another module. + .. _data-family-impexp-examples: Examples |