Update 8.0.2 release notes for #12784
authorRyan Scott <ryan.gl.scott@gmail.com>
Mon, 7 Nov 2016 13:56:22 +0000 (08:56 -0500)
committerRyan Scott <ryan.gl.scott@gmail.com>
Mon, 7 Nov 2016 13:56:22 +0000 (08:56 -0500)
Summary:
The fix for #12220 exposed some ill-typed programs which passed the typechecker
in GHC 8.0.1 but now fail to typecheck in GHC 8.0.2. It's a bit difficult to
characterize what exactly triggers this bug, but we at least have a minimal
example and a simple fix to illustrate the problem and solution, so let's
add that the the 8.0.2 release notes to advertise this change.

Resolves #12784.

Reviewers: rwbarton, austin, bgamari

Reviewed By: bgamari

Subscribers: thomie

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

GHC Trac Issues: #12784

docs/users_guide/8.0.2-notes.rst

index 43ee70f..34cc4b5 100644 (file)
@@ -46,6 +46,10 @@ Language
       class C m where
         foo :: m ()
 
+-  Some programs using :ghc-flag:`-XDefaultSignatures` that incorrectly
+   type-checked in GHC 8.0.1 are now rejected by GHC 8.0.2. See
+   :ghc-ticket:`12784` for details.
+
 Compiler
 ~~~~~~~~