diff options
| author | Kirill Zaborsky <qrilka@gmail.com> | 2018-06-15 14:12:58 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-06-15 14:13:09 -0400 |
| commit | 42f3b53b5bc4674e41f16de08094821fe1aaec00 (patch) | |
| tree | 2c7d4355a4c1ecb90a2bece332ebac03a3c0fc71 /docs/users_guide/8.6.1-notes.rst | |
| parent | 7100850eebb1c1aec0aaabca08915bac8b90e188 (diff) | |
| download | haskell-42f3b53b5bc4674e41f16de08094821fe1aaec00.tar.gz | |
Fix #13833: accept type literals with no FlexibleInstances
Test Plan: ./validate
Reviewers: bgamari, simonpj
Reviewed By: bgamari, simonpj
Subscribers: simonpj, rwbarton, thomie, carter
GHC Trac Issues: #13833
Differential Revision: https://phabricator.haskell.org/D4823
Diffstat (limited to 'docs/users_guide/8.6.1-notes.rst')
| -rw-r--r-- | docs/users_guide/8.6.1-notes.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/users_guide/8.6.1-notes.rst b/docs/users_guide/8.6.1-notes.rst index 147558e139..4bc01c904e 100644 --- a/docs/users_guide/8.6.1-notes.rst +++ b/docs/users_guide/8.6.1-notes.rst @@ -125,6 +125,11 @@ Language This is now an error unless :extension:`PolyKinds` is enabled. +- Type literals now could be used in type class instances without the extension + :extension:`FlexibleInstances`. + + See :ghc-ticket:`13833`. + Compiler ~~~~~~~~ |