[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