summaryrefslogtreecommitdiff
path: root/libraries
diff options
context:
space:
mode:
authorKirill Zaborsky <qrilka@gmail.com>2018-04-17 10:29:19 +0300
committerBen Gamari <ben@smart-cactus.org>2018-04-17 11:14:44 -0400
commitcab3e6bfa8486c6c8eecac269c54d662f1371a0c (patch)
tree91e6a89a43bae45a96fc92f6fa21cb02ca7f1bf8 /libraries
parent4a168043f1b584dc201b5af48870ab6498b8a830 (diff)
downloadhaskell-cab3e6bfa8486c6c8eecac269c54d662f1371a0c.tar.gz
Proper safe coercions paper link
Diffstat (limited to 'libraries')
-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 215f96cdd7..ce526b454d 100644
--- a/libraries/ghc-prim/GHC/Types.hs
+++ b/libraries/ghc-prim/GHC/Types.hs
@@ -260,7 +260,7 @@ class 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>
+-- <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