From a8d85ee34eb02e1bd3e1e8da5091d752d6f6db6d Mon Sep 17 00:00:00 2001 From: Adam Wespiser Date: Sat, 11 Jan 2020 12:05:28 -0500 Subject: replace dead html link (fixes #17661) --- compiler/GHC/HsToCore/PmCheck.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 %************************************************************************ %* * -- cgit v1.2.1