[commit: ghc] master: users-guide: Update link to Safe Coercions paper (efb3145)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/efb314582f1a1974d68505bbf9312f130416ef65/ghc

>---------------------------------------------------------------

commit efb314582f1a1974d68505bbf9312f130416ef65
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Fri Nov 2 12:43:25 2018 -0400

    users-guide: Update link to Safe Coercions paper
    
    Fixes #15841.


>---------------------------------------------------------------

efb314582f1a1974d68505bbf9312f130416ef65
 docs/users_guide/glasgow_exts.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst
index 723f1a3..5cf50b7 100644
--- a/docs/users_guide/glasgow_exts.rst
+++ b/docs/users_guide/glasgow_exts.rst
@@ -9725,7 +9725,7 @@ denotes representational equality between ``t1`` and ``t2`` in the sense
 of Roles (:ref:`roles`). It is exported by :base-ref:`Data.Coerce.`, which also
 contains the documentation. More details and discussion can be found in the
 paper
-`"Safe Coercions" <http://www.cis.upenn.edu/~eir/papers/2014/coercible/coercible.pdf>`__.
+`"Safe Coercions" <https://www.microsoft.com/en-us/research/uploads/prod/2018/05/coercible-JFP.pdf>`__.
 
 .. _constraint-kind: