[commit: packages/base] ghc-7.8: Tweak documentation and update changelog.md (a535527)

[git at git.haskell.org]

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

On branch  : ghc-7.8
Link       : http://ghc.haskell.org/trac/ghc/changeset/a53552791a4ec99cd51060f119b64adc728ba365/base

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

commit a53552791a4ec99cd51060f119b64adc728ba365
Author: Herbert Valerio Riedel <hvr at gnu.org>
Date:   Sat Mar 1 11:29:48 2014 +0100

    Tweak documentation and update changelog.md
    
    This adds release note entries to changelog and tweaks Haddock comments
    with respect to the recent commits 1a9abe7a1a3c7 (re #8797) and
    f932b79948f0 (re #8745)
    
    Signed-off-by: Herbert Valerio Riedel <hvr at gnu.org>
    (cherry picked from commit 44dec750a618a89202f80dcd695e5eb9fb74a74f)


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

a53552791a4ec99cd51060f119b64adc728ba365
 Data/Coerce.hs |    4 ++++
 GHC/Exts.hs    |    4 ++++
 changelog.md   |   20 +++++++++++++++++---
 3 files changed, 25 insertions(+), 3 deletions(-)

diff --git a/Data/Coerce.hs b/Data/Coerce.hs
index 93d5e19..2065159 100644
--- a/Data/Coerce.hs
+++ b/Data/Coerce.hs
@@ -14,6 +14,10 @@
 --
 -- Safe coercions between data types.
 --
+-- More in-depth information can be found on the
+-- <https://ghc.haskell.org/trac/ghc/wiki/Roles Roles wiki page>
+--
+-- /Since: 4.7.0.0/
 -----------------------------------------------------------------------------
 
 module Data.Coerce
diff --git a/GHC/Exts.hs b/GHC/Exts.hs
index 62f1951..efdf868 100755
--- a/GHC/Exts.hs
+++ b/GHC/Exts.hs
@@ -46,6 +46,10 @@ module GHC.Exts
         lazy, inline,
 
         -- * Safe coercions
+        --
+        -- | These are available from the /Trustworthy/ module "Data.Coerce" as well
+        --
+        -- /Since: 4.7.0.0/
         Data.Coerce.coerce, Data.Coerce.Coercible,
 
         -- * Transform comprehensions
diff --git a/changelog.md b/changelog.md
index 7e33059..c88c79e 100644
--- a/changelog.md
+++ b/changelog.md
@@ -15,7 +15,7 @@
   * There are now `Foldable` and `Traversable` instances for `Either a`,
    `Const r`, and `(,) a`.
 
-  * There is now a `Monoid` instance for `Const`.
+  * There is now a `Monoid`, `Generic`, and `Generic1` instance for `Const`.
 
   * There is now a `Data` instance for `Data.Version`.
 
@@ -29,7 +29,8 @@
 
   * There are now `Bits` and `FiniteBits` instances for `Bool`.
 
-  * There are now `Eq`, `Ord`, `Show` and `Read` instances for `ZipList`.
+  * There are now `Eq`, `Ord`, `Show`, `Read`, `Generic`. and `Generic1`
+    instances for `ZipList`.
 
   * There are now `Eq`, `Ord`, `Show` and `Read` instances for `Down`.
 
@@ -37,6 +38,12 @@
     for types in GHC.Generics (`U1`, `Par1`, `Rec1`, `K1`, `M1`,
     `(:+:)`, `(:*:)`, `(:.:)`).
 
+  * `Data.Monoid`: There are now `Generic` instances for `Dual`, `Endo`,
+    `All`, `Any`, `Sum`, `Product`, `First`, and `Last`; as well as
+    `Generic1` instances for `Dual`, `Sum`, `Product`, `First`, and `Last`.
+
+  * The `Data.Monoid.{Product,Sum}` newtype wrappers now have `Num` instances.
+
   * There are now `Functor` instances for `System.Console.GetOpt`'s
     `ArgOrder`, `OptDescr`, and `ArgDescr`.
 
@@ -47,6 +54,10 @@
 
   * New `Data.Proxy` module providing a concrete, poly-kinded proxy type.
 
+  * New `Data.Coerce` module which exports the new `Coercible` class
+    together with the `coerce` primitive which provide safe coercion
+    (wrt role checking) between types with same representation.
+
   * `Control.Concurrent.MVar` has a new implementation of `readMVar`,
     which fixes a long-standing bug where `readMVar` is only atomic if
     there are no other threads running `putMVar`.  `readMVar` now is
@@ -95,6 +106,9 @@
     `Monad` to an `Applicative`, has now a
     `Monad m => Monad (WrappedMonad m)` instance.
 
+  * There is now a `Generic` and a `Generic1` instance for `WrappedMonad`
+    and `WrappedArrow`.
+
   * Handle `ExitFailure (-sig)` on Unix by killing process with signal `sig`.
 
   * New module `Data.Type.Bool` providing operations on type-level booleans.
@@ -106,7 +120,7 @@
 
   * Add `Typeable` instance for `(->)` and `RealWorld`.
 
-  * Declare CPP head `<Typeable.h>` officially obsolete as GHC 7.8+
+  * Declare CPP header `<Typeable.h>` officially obsolete as GHC 7.8+
     does not support hand-written `Typeable` instances anymore.
 
   * Remove (unmaintained) Hugs98 and NHC98 specific code.