users-guide/rel-notes: Describe #13875 fix
authorBen Gamari <bgamari.foss@gmail.com>
Tue, 11 Jul 2017 16:01:05 +0000 (12:01 -0400)
committerBen Gamari <ben@smart-cactus.org>
Tue, 11 Jul 2017 17:41:55 +0000 (13:41 -0400)
Test Plan: Read it.

Reviewers: simonmar, austin

Reviewed By: simonmar

Subscribers: rwbarton, thomie

GHC Trac Issues: #13875

Differential Revision: https://phabricator.haskell.org/D3710

docs/users_guide/8.2.1-notes.rst

index ba17e35..9dccc33 100644 (file)
@@ -38,6 +38,12 @@ Compiler
 
 -  TODO FIXME.
 
+- A bug in the :ghc-flag:`-XApplicativeDo` extension resulting in strict pattern
+  matches to be performed lazily (:ghc-ticket:`13875`) has been fixed. Note that
+  this means some programs which previously typechecked under ``ApplicativeDo``
+  will no longer as it is not possible to implement strict pattern matching
+  using only ``Applicative``.
+
 - Old profiling flags ``-auto-all``, ``-auto``, and ``-caf-all`` are deprecated
   and their usage provokes a compile-time warning.