diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2015-12-14 15:01:12 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-12-14 15:34:03 +0100 |
| commit | 04ab55d9a6fe311b7cb544211738caca6c00c720 (patch) | |
| tree | f1e48296c1cbfd94eb7cafd935f2c2baf570eb61 /docs | |
| parent | 65920c9e6a17094c3a0abbdbed5ab01f8524850e (diff) | |
| download | haskell-04ab55d9a6fe311b7cb544211738caca6c00c720.tar.gz | |
Use Cxt for deriving clauses in TH (#10819)
Summary:
Deriving clauses in the TH representations of data, newtype, data
instance, and newtype instance declarations previously were just [Name],
which didn't allow for more complex derived classes, eg. multi-parameter
typeclasses.
This switches out [Name] for Cxt, representing the derived classes as
types instead of names.
Test Plan: validate
Reviewers: goldfire, spinda, austin
Reviewed By: goldfire, austin
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D1202
GHC Trac Issues: #10819
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/7.12.1-notes.rst | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/users_guide/7.12.1-notes.rst b/docs/users_guide/7.12.1-notes.rst index 793270843b..79bed2c16d 100644 --- a/docs/users_guide/7.12.1-notes.rst +++ b/docs/users_guide/7.12.1-notes.rst @@ -284,6 +284,12 @@ Template Haskell of ``FamilyD``. Common elements of ``OpenTypeFamilyD`` and ``ClosedTypeFamilyD`` have been moved to ``TypeFamilyHead``. +- The representation of ``data``, ``newtype``, ``data instance``, and + ``newtype instance`` declarations has been changed to allow for + multi-parameter type classes in the ``deriving`` clause. In particular, + ``dataD`` and ``newtypeD`` now take a ``CxtQ`` instead of a ``[Name]`` + for the list of derived classes. + Runtime system ~~~~~~~~~~~~~~ |