[commit: packages/ghc-prim] ghc-7.8: Update Coercible docs due to Safe Haskell adjustment (a011e6d)

git at git.haskell.org git at git.haskell.org
Mon Mar 17 15:37:24 UTC 2014


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

On branch  : ghc-7.8
Link       : http://ghc.haskell.org/trac/ghc/changeset/a011e6d0ce68e243751d396f39715040b2962bde/ghc-prim

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

commit a011e6d0ce68e243751d396f39715040b2962bde
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Fri Mar 14 09:26:12 2014 +0100

    Update Coercible docs due to Safe Haskell adjustment
    
    This should go with [59722295bb8da8f01d37356fbed6aef7321a8195/ghc], see
    bug #8826.
    
    (cherry picked from commit db4f5e5245d5b24a8f0a06a85ded89c6124fb4c7)


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

a011e6d0ce68e243751d396f39715040b2962bde
 GHC/Types.hs |    4 ----
 1 file changed, 4 deletions(-)

diff --git a/GHC/Types.hs b/GHC/Types.hs
index 96673e1..310c04d 100644
--- a/GHC/Types.hs
+++ b/GHC/Types.hs
@@ -116,10 +116,6 @@ data (~) a b = Eq# ((~#) a b)
 --      @Coercible@ instance themself, and the @phantom@ type arguments can be
 --      changed arbitrarily.
 --
---      In SafeHaskell code, this instance is only usable if the constructors of
---      every type constructor used in the definition of @D@ (including
---      those of @D@ itself) are in scope.
---
 --      The third kind of instance exists for every @newtype NT = MkNT T@ and
 --      comes in two variants, namely
 --



More information about the ghc-commits mailing list