Refer to the coercible paper in Coercible' docs
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 14 Mar 2014 11:41:46 +0000 (12:41 +0100)
committerJoachim Breitner <mail@joachim-breitner.de>
Fri, 14 Mar 2014 11:41:46 +0000 (12:41 +0100)
Implements parts of #8888.

libraries/ghc-prim/GHC/Types.hs

index 3023045..a144657 100644 (file)
@@ -162,6 +162,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)
 -- Also see Note [Kind-changing of (~) and Coercible]