[commit: ghc] ghc-8.4: One final sweep over release notes (6540b71)

[git at git.haskell.org]

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

On branch  : ghc-8.4
Link       : http://ghc.haskell.org/trac/ghc/changeset/6540b7113aea04ef7feb3b849861fd4be7c38f1f/ghc

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

commit 6540b7113aea04ef7feb3b849861fd4be7c38f1f
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Sun Mar 4 12:42:05 2018 -0500

    One final sweep over release notes


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

6540b7113aea04ef7feb3b849861fd4be7c38f1f
 docs/users_guide/8.4.1-notes.rst | 41 ++++------------------------------------
 1 file changed, 4 insertions(+), 37 deletions(-)

diff --git a/docs/users_guide/8.4.1-notes.rst b/docs/users_guide/8.4.1-notes.rst
index 489f4c8..b25d184 100644
--- a/docs/users_guide/8.4.1-notes.rst
+++ b/docs/users_guide/8.4.1-notes.rst
@@ -24,6 +24,10 @@ The highlights, since the 8.2.1 release, are:
 
 - Further improvements in code generation
 
+- Incoporation of library changes including the Phase 2 of the Semigroup-Monoid Proposal
+
+- A variety of Windows compatibility improvements
+
 - Many, many bug fixes.
 
 
@@ -334,43 +338,6 @@ Template Haskell
 - ``Language.Haskell.TH.FamFlavour``, which was deprecated in GHC 8.2,
   has been removed.
 
-``ghc`` library
-~~~~~~~~~~~~~~~
-
-- hsSyn Abstract Syntax Tree (AST) is now extensible via the mechanism described in `Trees that Grow <http://www.jucs.org/jucs_23_1/trees_that_grow/jucs_23_01_0042_0062_najd.pdf>`_
-
-  The main change for users of the GHC API is that the AST is no longer indexed
-  by the type used as the identifier, but by a specific index type, ::
-
-      type GhcPs   = GhcPass 'Parsed      -- Old 'RdrName' type param
-      type GhcRn   = GhcPass 'Renamed     -- Old 'Name' type param
-      type GhcTc   = GhcPass 'Typechecked -- Old 'Id' type para,
-      type GhcTcId = GhcTc                -- Old 'TcId' type param
-
-  The simplest way to support the current GHC as well as earlier ones is to define ::
-
-      #if MIN_VERSION_ghc(8,3,0)
-      type ParseI     = GhcPs
-      type RenameI    = GhcRn
-      type TypecheckI = GhcTc
-      #else
-      type ParseI     = RdrName
-      type RenameI    = Name
-      type TypecheckI = Var
-      #endif
-
-  and then replace all hardcoded index types accordingly. For polymorphic types,
-  the constraint ::
-
-      #if MIN_VERSION_ghc(8,3,0)
-      -- |bundle up the constraints required for a trees that grow pass
-      type IsPass pass = (DataId pass, OutputableBndrId pass, SourceTextX pass)
-      else
-      type IsPass pass = (DataId pass, OutputableBndrId pass)
-      #endif
-
-  can be used.
-
 ``base`` library
 ~~~~~~~~~~~~~~~~