diff options
author | HE, Tao <sighingnow@gmail.com> | 2018-03-25 15:34:45 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2018-03-25 16:08:33 -0400 |
commit | a3986d7fa59d96a77ac0f25bcf1dcf96b8746994 (patch) | |
tree | 2580e209c25667fc18a7cb48d811ff507cb8fea3 /docs | |
parent | 0cbb13b3dfd70b4c9665109cd6c4a150cb7b99df (diff) | |
download | haskell-a3986d7fa59d96a77ac0f25bcf1dcf96b8746994.tar.gz |
Fix scoped type variables in TH for several constructs
Namely class methods, default signatures and pattern synonyms.
When scoped type variables occur inside class default methods,
default signatures and pattern synonyms, avoid re-create explicit
type variables when represent the type signatures.
This patch should fix Trac#14885.
Signed-off-by: HE, Tao <sighingnow@gmail.com>
Test Plan: make test TEST="T14885a T14885b T14885c"
Reviewers: goldfire, bgamari, simonpj, RyanGlScott
Reviewed By: simonpj, RyanGlScott
Subscribers: rwbarton, thomie, carter
GHC Trac Issues: #14885
Differential Revision: https://phabricator.haskell.org/D4469
Diffstat (limited to 'docs')
-rw-r--r-- | docs/users_guide/8.6.1-notes.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/users_guide/8.6.1-notes.rst b/docs/users_guide/8.6.1-notes.rst index 04ff09c888..548702159c 100644 --- a/docs/users_guide/8.6.1-notes.rst +++ b/docs/users_guide/8.6.1-notes.rst @@ -57,6 +57,9 @@ Language See :ghc-ticket:`14773`. +- Scoped type variables now work in default methods of class declarations + and in pattern synonyms in Template Haskell. See :ghc-ticket:`14885`. + Compiler ~~~~~~~~ |