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 /testsuite/tests/th/all.T | |
| 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 'testsuite/tests/th/all.T')
| -rw-r--r-- | testsuite/tests/th/all.T | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testsuite/tests/th/all.T b/testsuite/tests/th/all.T index b5fd6d826a..223982250a 100644 --- a/testsuite/tests/th/all.T +++ b/testsuite/tests/th/all.T @@ -409,3 +409,6 @@ test('T14869', normal, compile, test('T14888', normal, compile, ['-v0 -ddump-splices -dsuppress-uniques ' + config.ghc_th_way_flags]) test('T14298', normal, compile_and_run, ['-v0']) +test('T14885a', normal, compile, ['']) +test('T14885b', normal, compile, ['']) +test('T14885c', normal, compile, ['']) |