summaryrefslogtreecommitdiff
path: root/libraries/ghc-prim/GHC/Types.hs
diff options
context:
space:
mode:
Diffstat (limited to 'libraries/ghc-prim/GHC/Types.hs')
-rw-r--r--libraries/ghc-prim/GHC/Types.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/ghc-prim/GHC/Types.hs b/libraries/ghc-prim/GHC/Types.hs
index 1ea6bd9baa..8b9d23787b 100644
--- a/libraries/ghc-prim/GHC/Types.hs
+++ b/libraries/ghc-prim/GHC/Types.hs
@@ -350,7 +350,7 @@ infix 4 ~, ~~
-- <http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/coercible.pdf Safe Coercions>
-- by Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones and Stephanie Weirich.
--
--- @since 4.7.0.0
+-- @since 0.4.0
class Coercible (a :: k) (b :: k)
-- See also Note [The equality types story] in GHC.Builtin.Types.Prim