diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2022-04-06 23:11:59 +0200 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2022-04-07 13:59:26 +0200 |
| commit | 87d4c03dc2c107e1bc50b298728e58ca6d87f73a (patch) | |
| tree | 9e56de03f42b47fefbc1ae373c94aaa1596d7a83 /docs/users_guide/exts | |
| parent | ed62dc66c6fff433349145b4cc41198effedfab8 (diff) | |
| download | haskell-wip/fix-9.4-release-notes.tar.gz | |
Fixes to 9.4 release noteswip/fix-9.4-release-notes
- Mention -Wforall-identifier
- Improve description of withDict
- Fix formatting
Diffstat (limited to 'docs/users_guide/exts')
| -rw-r--r-- | docs/users_guide/exts/primitives.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/exts/primitives.rst b/docs/users_guide/exts/primitives.rst index f5107cc8b4..1a81d9ea53 100644 --- a/docs/users_guide/exts/primitives.rst +++ b/docs/users_guide/exts/primitives.rst @@ -318,7 +318,7 @@ Unlifted Newtypes Enable the use of newtypes over types with non-lifted runtime representations. GHC implements an :extension:`UnliftedNewtypes` extension as specified in -`this GHC proposal <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0013-unlifted-newtypes.rst>`_. +`the GHC proposal #98 <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0098-unlifted-newtypes.rst>`_. :extension:`UnliftedNewtypes` relaxes the restrictions around what types can appear inside of a ``newtype``. For example, the type :: @@ -393,7 +393,7 @@ Unlifted Datatypes result kind. GHC implements the :extension:`UnliftedDatatypes` extension as specified in -`this GHC proposal <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0265-unlifted-data types.rst>`_. +`the GHC proposal #265 <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0265-unlifted-datatypes.rst>`_. :extension:`UnliftedDatatypes` relaxes the restrictions around what result kinds are allowed in data declarations. For example, the type :: |