Proper safe coercions paper link

cab3e6bf · Kirill Zaborsky · Ben Gamari · 4a168043 · cab3e6bf
Commit cab3e6bf authored 6 years ago by Kirill Zaborsky Committed by Ben Gamari 6 years ago
--- 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