Commit 2591a4b9 authored by Ryan Scott's avatar Ryan Scott Committed by Ben Gamari
Browse files

Update 8.0.2 release notes for #12784

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:

GHC Trac Issues: #12784

(cherry picked from commit 2e8463b2)
parent 28c62bb5
......@@ -25,6 +25,10 @@ Language
presence of :ghc-flag:`-XRebindableSyntax` and
:ghc-flag:`-XOverloadedStrings` (:ghc-ticket:`12688`).
- 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.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment