diff options
author | Ross Paterson <R.Paterson@city.ac.uk> | 2022-09-25 15:33:25 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-09-27 14:12:01 -0400 |
commit | 9b1595c87f0c2406bb340c5e27a4a45dfcde0e2c (patch) | |
tree | 5058b79fa0484c7bb55bfc5515094dff50ae93b2 /docs/users_guide/9.6.1-notes.rst | |
parent | aeafdba5503b8d26a62dc7bc7078caef170d4154 (diff) | |
download | haskell-9b1595c87f0c2406bb340c5e27a4a45dfcde0e2c.tar.gz |
implement proposal 106 (Define Kinds Without Promotion) (fixes #6024)
includes corresponding changes to haddock submodule
Diffstat (limited to 'docs/users_guide/9.6.1-notes.rst')
-rw-r--r-- | docs/users_guide/9.6.1-notes.rst | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/users_guide/9.6.1-notes.rst b/docs/users_guide/9.6.1-notes.rst index 355fc63838..f66ba9e06a 100644 --- a/docs/users_guide/9.6.1-notes.rst +++ b/docs/users_guide/9.6.1-notes.rst @@ -62,6 +62,12 @@ Language - Error messages are now assigned unique error codes, of the form ``[GHC-12345]``. +- GHC Proposal `#106 + <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0106-type-data.rst>`_ + has been implemented, introducing a new language extension + :extension:`TypeData`. This extension permits ``type data`` declarations + as a more fine-grained alternative to :extension:`DataKinds`. + Compiler ~~~~~~~~ |