diff options
| author | Adam Gundry <adam@well-typed.com> | 2015-05-04 15:30:37 +0100 |
|---|---|---|
| committer | Adam Gundry <adam@well-typed.com> | 2015-05-04 15:37:56 +0100 |
| commit | 4efa421327cf127ebefde59b2eece693e37dc3c6 (patch) | |
| tree | ad98439468450a0d9b39c80d1a8e443e34b0445e /ghc.mk | |
| parent | 2f6a0ac7061c59ed68a6dd5a2243e3e690acbd5f (diff) | |
| download | haskell-4efa421327cf127ebefde59b2eece693e37dc3c6.tar.gz | |
Permit empty closed type families
Fixes #9840 and #10306, and includes an alternative resolution to #8028.
This permits empty closed type families, and documents them in the user
guide. It updates the Haddock submodule to support the API change.
Test Plan: Added `indexed-types/should_compile/T9840` and updated
`indexed-types/should_fail/ClosedFam4` and `th/T8028`.
Reviewers: austin, simonpj, goldfire
Reviewed By: goldfire
Subscribers: bgamari, jstolarek, thomie, goldfire
Differential Revision: https://phabricator.haskell.org/D841
GHC Trac Issues: #9840, #10306
Diffstat (limited to 'ghc.mk')
0 files changed, 0 insertions, 0 deletions