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

git at git.haskell.org git at git.haskell.org
Fri Mar 14 08:27:03 UTC 2014


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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/db4f5e5245d5b24a8f0a06a85ded89c6124fb4c7/ghc-prim

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

commit db4f5e5245d5b24a8f0a06a85ded89c6124fb4c7
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.


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

db4f5e5245d5b24a8f0a06a85ded89c6124fb4c7
 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