diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2018-11-02 12:43:25 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-11-02 12:48:26 -0400 |
| commit | efb314582f1a1974d68505bbf9312f130416ef65 (patch) | |
| tree | 3f91e68ab49021f38cfa96e51afbd0d02dddcafb | |
| parent | f877d9cc99dd1ba0c038e70527031e9ba0934cd3 (diff) | |
| download | haskell-efb314582f1a1974d68505bbf9312f130416ef65.tar.gz | |
users-guide: Update link to Safe Coercions paper
Fixes #15841.
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index 723f1a373d..5cf50b7034 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: |