diff options
| author | Kirill Zaborsky <qrilka@gmail.com> | 2018-04-17 10:29:19 +0300 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-04-17 11:14:44 -0400 |
| commit | cab3e6bfa8486c6c8eecac269c54d662f1371a0c (patch) | |
| tree | 91e6a89a43bae45a96fc92f6fa21cb02ca7f1bf8 | |
| parent | 4a168043f1b584dc201b5af48870ab6498b8a830 (diff) | |
| download | haskell-cab3e6bfa8486c6c8eecac269c54d662f1371a0c.tar.gz | |
Proper safe coercions paper link
| -rw-r--r-- | libraries/ghc-prim/GHC/Types.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/ghc-prim/GHC/Types.hs b/libraries/ghc-prim/GHC/Types.hs index 215f96cdd7..ce526b454d 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 |