summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--compiler/GHC/HsToCore/PmCheck.hs2
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
%************************************************************************
%* *