diff options
author | Ben Gamari <ben@smart-cactus.org> | 2017-12-14 16:52:59 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2017-12-14 17:03:46 -0500 |
commit | 4a331e659f636e28330142b6df90cb0772a19463 (patch) | |
tree | 432589485f8d71da757b2091040f89d5edc1aae6 | |
parent | d4c8d895a477e66cc5d892de7d5f06a4068f9244 (diff) | |
download | haskell-4a331e659f636e28330142b6df90cb0772a19463.tar.gz |
users-guide: Fix various bits of markup
(cherry picked from commit 15b2b959abbc724187b0e58979968d24ab323681)
-rw-r--r-- | docs/users_guide/8.4.1-notes.rst | 18 | ||||
-rw-r--r-- | docs/users_guide/separate_compilation.rst | 10 |
2 files changed, 18 insertions, 10 deletions
diff --git a/docs/users_guide/8.4.1-notes.rst b/docs/users_guide/8.4.1-notes.rst index 7c2f95444b..6ad4cc51bb 100644 --- a/docs/users_guide/8.4.1-notes.rst +++ b/docs/users_guide/8.4.1-notes.rst @@ -13,7 +13,15 @@ Highlights The highlights, since the 8.2.1 release, are: -- Many, many bug fixes. +- GHC is now capable of deriving more instances + +- More refinement of the :ghc-flag:`-XTypeInType` story and improvements in type + error messages. + +- Further improvements in code generation + +- Many, many bug fixes. + Full details ------------ @@ -59,16 +67,16 @@ Language data StrictJust a <- Just !a where StrictJust !a = Just a -- GADTs with kind-polymorphic type arguments now require :ghc-flag:`TypeInType`. +- GADTs with kind-polymorphic type arguments now require :ghc-flag:`-XTypeInType`. For instance, consider the following, :: data G :: k -> * where GInt :: G Int GMaybe :: G Maybe - In previous releases this would compile with :ghc-flag:`PolyKinds` alone due + In previous releases this would compile with :ghc-flag:`-XPolyKinds` alone due to bug :ghc-ticket:`13391`. As of GHC 8.4, however, this requires - :ghc-flag:`TypeInType`. Note that since GADT kind signatures aren't generalized, + :ghc-flag:`-XTypeInType`. Note that since GADT kind signatures aren't generalized, this will also require that you provide a :ref:`CUSK <complete-kind-signatures>` by explicitly quantifying over the kind argument, ``k``, :: @@ -101,7 +109,7 @@ Language which require extensions to derive, such as :ghc-flag:`-XDeriveFunctor`. - Hexadecimal floating point literals (e.g. ``0x0.1p4``), enabled with - :ghc-flag:`HexFloatLiterals`. See + :ghc-flag:`-XHexFloatLiterals`. See :ref:`Hexadecimal floating point literals <hex-float-literals>` for the full details. diff --git a/docs/users_guide/separate_compilation.rst b/docs/users_guide/separate_compilation.rst index 2375f63c46..e7501c2716 100644 --- a/docs/users_guide/separate_compilation.rst +++ b/docs/users_guide/separate_compilation.rst @@ -544,17 +544,17 @@ The recompilation checker .. ghc-flag:: -fignore-optim-changes :shortdesc: Do not recompile modules just to match changes to - optimisation flags. This is especially useful for avoiding - recompilation when using GHCi, and is enabled by default for - GHCi. + optimisation flags. This is especially useful for avoiding + recompilation when using GHCi, and is enabled by default for + GHCi. :type: dynamic :reverse: -fno-ignore-optim-changes :category: recompilation .. ghc-flag:: -fignore-hpc-changes :shortdesc: Do not recompile modules just to match changes to - HPC flags. This is especially useful for avoiding recompilation - when using GHCi, and is enabled by default for GHCi. + HPC flags. This is especially useful for avoiding recompilation + when using GHCi, and is enabled by default for GHCi. :type: dynamic :reverse: -fno-ignore-hpc-changes :category: recompilation |