diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2016-11-07 08:56:22 -0500 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2016-11-07 08:56:22 -0500 |
| commit | 2e8463b232054b788b73e6551947a9434aa76009 (patch) | |
| tree | 536193e0c7dec74c9d6d5f93688a4fe35820765a | |
| parent | 91f9e13887f49c28e4dbde4edc2c5c65de44c9e9 (diff) | |
| download | haskell-2e8463b232054b788b73e6551947a9434aa76009.tar.gz | |
Update 8.0.2 release notes for #12784
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
| -rw-r--r-- | docs/users_guide/8.0.2-notes.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/users_guide/8.0.2-notes.rst b/docs/users_guide/8.0.2-notes.rst index 43ee70f62c..34cc4b55d8 100644 --- a/docs/users_guide/8.0.2-notes.rst +++ b/docs/users_guide/8.0.2-notes.rst @@ -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 ~~~~~~~~ |