From 4c7e9689f6fcc3eb974f0a76ae8078abda30026d Mon Sep 17 00:00:00 2001 From: Sebastian Graf Date: Thu, 11 Jun 2020 10:34:45 +0200 Subject: Release Notes: Add news from the pattern-match checker [skip ci] --- docs/users_guide/8.12.1-notes.rst | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/docs/users_guide/8.12.1-notes.rst b/docs/users_guide/8.12.1-notes.rst index 22b9e0b571..bc8450417f 100644 --- a/docs/users_guide/8.12.1-notes.rst +++ b/docs/users_guide/8.12.1-notes.rst @@ -19,6 +19,19 @@ Highlights In the mean this improved runtime by about 0.8%. For details see ticket :ghc-ticket:`17823`. +* Pattern-Match Coverage Checking + + - The revamp of the pattern-match coverage checker that started in 8.10 concludes with this release and implements the + novel `*Lower Your Guards* `_ algorithm. + - Compared to 8.10, end users might notice improvements to "long-distance information": :: haskell + + :linenos: + f True = 1 + f x = ... case x of { False -> 2; True -> 3 } ... + + GHC is now able to detect the case alt returning 3 as redundant. + - Some more performance improvements in edge cases. + Full details ------------ -- cgit v1.2.1