[commit: ghc] master: Proper safe coercions paper link (cab3e6b)
git at git.haskell.org
git at git.haskell.org
Tue Apr 17 15:15:16 UTC 2018
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/cab3e6bfa8486c6c8eecac269c54d662f1371a0c/ghc
>---------------------------------------------------------------
commit cab3e6bfa8486c6c8eecac269c54d662f1371a0c
Author: Kirill Zaborsky <qrilka at gmail.com>
Date: Tue Apr 17 10:29:19 2018 +0300
Proper safe coercions paper link
>---------------------------------------------------------------
cab3e6bfa8486c6c8eecac269c54d662f1371a0c
libraries/ghc-prim/GHC/Types.hs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/libraries/ghc-prim/GHC/Types.hs b/libraries/ghc-prim/GHC/Types.hs
index 215f96c..ce526b4 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
More information about the ghc-commits
mailing list