diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-04-28 13:24:31 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-04-28 13:24:40 -0400 |
| commit | b2c38d6b4003d3dda60d15204283da5aab15c2ec (patch) | |
| tree | 8763cfa9d7840f4ca6fca7bafd5e72ead4c2c2a4 /testsuite/tests/th/all.T | |
| parent | 69b9b853e3e68191cdfa8aec0e4da966298a2659 (diff) | |
| download | haskell-b2c38d6b4003d3dda60d15204283da5aab15c2ec.tar.gz | |
Make the tyvars in TH-reified data family instances uniform
It turns out we were using two different sets of type variables when
reifying data family instances in Template Haskell. We were using the
tyvars quantifying over the instance itself for the LHS, but using the
tyvars quantifying over the data family instance constructor for the
RHS. This commit uses the instance tyvars for both the LHS and the RHS,
fixing #13618.
Test Plan: make test TEST=T13618
Reviewers: goldfire, austin, bgamari
Reviewed By: goldfire, bgamari
Subscribers: rwbarton, thomie
GHC Trac Issues: #13618
Differential Revision: https://phabricator.haskell.org/D3505
Diffstat (limited to 'testsuite/tests/th/all.T')
| -rw-r--r-- | testsuite/tests/th/all.T | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/th/all.T b/testsuite/tests/th/all.T index 7c98d13fa7..9dadeb699b 100644 --- a/testsuite/tests/th/all.T +++ b/testsuite/tests/th/all.T @@ -382,3 +382,4 @@ test('T13098', normal, compile, ['-v0']) test('T11046', normal, multimod_compile, ['T11046','-v0']) test('T13366', normal, compile_and_run, ['-lstdc++ -v0']) test('T13587', expect_broken(13587), compile_and_run, ['-v0']) +test('T13618', normal, compile_and_run, ['-v0']) |