diff options
author | mniip <mniip@mniip.com> | 2018-11-01 18:33:10 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2018-11-01 20:32:23 -0400 |
commit | f877d9cc99dd1ba0c038e70527031e9ba0934cd3 (patch) | |
tree | 6a225a9cfafc670ca0fb16cd4402efcc059788b6 /testsuite/tests/indexed-types/should_compile/all.T | |
parent | 1c92f193ee406545daedd06e0b9d5d7354d9af64 (diff) | |
download | haskell-f877d9cc99dd1ba0c038e70527031e9ba0934cd3.tar.gz |
Move eta-reduced coaxiom compatibility handling quirks into FamInstEnv.
The quirk caused an issue where GHC concluded that 'D' is possibly
unifiable with 'D a' (the two types could have the same kind if D is a
data family).
Test Plan:
Ensure T9371 stays fixed.
Introduce T15704
Reviewers: goldfire, bgamari
Reviewed By: goldfire
Subscribers: RyanGlScott, rwbarton, carter
GHC Trac Issues: #15704
Differential Revision: https://phabricator.haskell.org/D5206
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/all.T')
-rw-r--r-- | testsuite/tests/indexed-types/should_compile/all.T | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/all.T b/testsuite/tests/indexed-types/should_compile/all.T index 687e71d673..5725c96507 100644 --- a/testsuite/tests/indexed-types/should_compile/all.T +++ b/testsuite/tests/indexed-types/should_compile/all.T @@ -294,4 +294,5 @@ test('T15322a', normal, compile_fail, ['']) test('T15142', normal, compile, ['']) test('T15352', normal, compile, ['']) test('T15664', normal, compile, ['']) +test('T15704', normal, compile, ['']) test('T15711', normal, compile, ['-ddump-types']) |