diff options
Diffstat (limited to 'docs/users_guide/exts/primitives.rst')
-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 :: |