Update Coercible docs due to Safe Haskell adjustment
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 14 Mar 2014 08:26:12 +0000 (09:26 +0100)
committerJoachim Breitner <mail@joachim-breitner.de>
Fri, 14 Mar 2014 08:26:44 +0000 (09:26 +0100)
This should go with [59722295bb8da8f01d37356fbed6aef7321a8195/ghc], see
bug #8826.

libraries/ghc-prim/GHC/Types.hs

index 96673e1..310c04d 100644 (file)
@@ -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
 --