[commit: packages/ghc-prim] ghc-7.8: Refer to the coercible paper in Coercible' docs (ac633f2)

[git at git.haskell.org]

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

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

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

commit ac633f2b92841bbba7c7cb0b9e85b5092a7c80fb
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Fri Mar 14 12:41:46 2014 +0100

    Refer to the coercible paper in Coercible' docs
    
    Implements parts of #8888.
    
    (cherry picked from commit fc7aaf57a33ab07b70628c75fcf134fdf4e701e5)


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

ac633f2b92841bbba7c7cb0b9e85b5092a7c80fb
 GHC/Types.hs |    4 ++++
 1 file changed, 4 insertions(+)

diff --git a/GHC/Types.hs b/GHC/Types.hs
index 310c04d..a582677 100644
--- a/GHC/Types.hs
+++ b/GHC/Types.hs
@@ -133,6 +133,10 @@ data (~) a b = Eq# ((~#) a b)
 --
 --      @type role Set nominal@
 --
+--      For more details about this feature, please refer to
+--      <http://www.cis.upenn.edu/~eir/papers/2014/coercible/coercible.pdf Safe Coercions>
+--      by Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones and Stephanie Weirich.
+--
 --      /Since: 4.7.0.0/
 data Coercible a b = MkCoercible ((~#) a b)