diff options
| author | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2015-11-11 10:49:22 +0100 |
|---|---|---|
| committer | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2015-12-21 20:47:16 +0100 |
| commit | eeecb8647585ad9eea0554b2f97a3645d2c59f88 (patch) | |
| tree | d2294dd80400f495deab260e4e810b7dcbefb096 /docs | |
| parent | a61e717fcff9108337b1d35783ea3afbf591d3c6 (diff) | |
| download | haskell-eeecb8647585ad9eea0554b2f97a3645d2c59f88.tar.gz | |
Add proper GADTs support to Template Haskell
Until now GADTs were supported in Template Haskell by encoding them using
normal data types. This patch adds proper support for representing GADTs
in TH.
Test Plan: T10828
Reviewers: goldfire, austin, bgamari
Subscribers: thomie, mpickering
Differential Revision: https://phabricator.haskell.org/D1465
GHC Trac Issues: #10828
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/7.12.1-notes.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/users_guide/7.12.1-notes.rst b/docs/users_guide/7.12.1-notes.rst index 9bac1c556f..14af3a0a9e 100644 --- a/docs/users_guide/7.12.1-notes.rst +++ b/docs/users_guide/7.12.1-notes.rst @@ -284,6 +284,11 @@ Template Haskell have also been introduced, serving the same functions as their pattern and expression counterparts. +- ``Template Haskell`` has now explicit support for representing GADTs. Until + now GADTs were encoded using ``NormalC``, ``RecC`` (record syntax) and + ``ForallC`` constructors. Two new constructors - ``GadtC`` and ``RecGadtC`` - + are now supported during quoting, splicing and reification. + - Primitive chars (e.g., ``[| 'a'# |]``) and primitive strings (e.g., ``[| "abc"# |]``) can now be quoted with Template Haskell. The ``Lit`` data type also has a new constructor, ``CharPrimL``, for |