users-guide: Fix various bits of markup
authorBen Gamari <ben@smart-cactus.org>
Thu, 14 Dec 2017 21:52:59 +0000 (16:52 -0500)
committerBen Gamari <ben@smart-cactus.org>
Thu, 14 Dec 2017 22:01:41 +0000 (17:01 -0500)
docs/users_guide/8.4.1-notes.rst
docs/users_guide/separate_compilation.rst

index 7c2f954..6ad4cc5 100644 (file)
@@ -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.
 
index 2375f63..e7501c2 100644 (file)
@@ -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