diff options
| author | Adam Wespiser <adamwespiser@gmail.com> | 2020-01-11 12:05:28 -0500 |
|---|---|---|
| committer | Adam Wespiser <adamwespiser@gmail.com> | 2020-01-12 20:16:31 -0500 |
| commit | a8d85ee34eb02e1bd3e1e8da5091d752d6f6db6d (patch) | |
| tree | c0277b11f4d1e606bfdd44b01eae51e9118ddc55 | |
| parent | 923a127205dd60147453f4420614efd1be29f070 (diff) | |
| download | haskell-wip/T17661.tar.gz | |
replace dead html link (fixes #17661)wip/T17661
| -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 %************************************************************************ %* * |