replace dead html link (fixes #17661)

f416fe64 · Adam Wespiser · Marge Bot · 1ff55226 · f416fe64
Commit f416fe64 authored Jan 11, 2020 by Adam Wespiser Committed by Marge Bot Jan 16, 2020
--- 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

 %************************************************************************
 %*                                                                      *