diff options
| author | Adam Wespiser <adamwespiser@gmail.com> | 2020-01-11 12:05:28 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-01-16 06:00:53 -0500 |
| commit | f416fe6432c0f2f2237f096a9fb0e58e897b4ba5 (patch) | |
| tree | 286f4e95ecd794f8a243fee39d9f6c67bbf1a47e | |
| parent | 1ff552265bbbcc0dba272d4742e8be79baad2c51 (diff) | |
| download | haskell-f416fe6432c0f2f2237f096a9fb0e58e897b4ba5.tar.gz | |
replace dead html link (fixes #17661)
| -rw-r--r-- | compiler/GHC/HsToCore/PmCheck.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/HsToCore/PmCheck.hs b/compiler/GHC/HsToCore/PmCheck.hs index 86a9717c02..b494cbed47 100644 --- a/compiler/GHC/HsToCore/PmCheck.hs +++ b/compiler/GHC/HsToCore/PmCheck.hs @@ -75,7 +75,7 @@ The algorithm is based on the paper: "GADTs Meet Their Match: Pattern-matching Warnings That Account for GADTs, Guards, and Laziness" - http://people.cs.kuleuven.be/~george.karachalias/papers/p424-karachalias.pdf + https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/gadtpm-acm.pdf %************************************************************************ %* * |