[commit: ghc] master: users-guide: Fix various bits of markup (4a331e6)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/4a331e659f636e28330142b6df90cb0772a19463/ghc

>---------------------------------------------------------------

commit 4a331e659f636e28330142b6df90cb0772a19463
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Thu Dec 14 16:52:59 2017 -0500

    users-guide: Fix various bits of markup
    
    (cherry picked from commit 15b2b959abbc724187b0e58979968d24ab323681)


>---------------------------------------------------------------

4a331e659f636e28330142b6df90cb0772a19463
 docs/users_guide/8.4.1-notes.rst          | 18 +++++++++++++-----
 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 7c2f954..6ad4cc5 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 2375f63..e7501c2 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