diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2020-05-02 20:15:00 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-05-06 04:41:57 -0400 |
| commit | edec6a6c205378caf15d1d874d7e901ba76dd293 (patch) | |
| tree | 653e58c01348b948c33472f6fb594649c45ef00a /testsuite/tests/deriving/should_fail/all.T | |
| parent | 9f3e6884e338015f2953c4c0844e04d467f53dd5 (diff) | |
| download | haskell-edec6a6c205378caf15d1d874d7e901ba76dd293.tar.gz | |
Make isTauTy detect higher-rank contexts
Previously, `isTauTy` would only detect higher-rank `forall`s, not
higher-rank contexts, which led to some minor bugs observed
in #18127. Easily fixed by adding a case for
`(FunTy InvisArg _ _)`.
Fixes #18127.
Diffstat (limited to 'testsuite/tests/deriving/should_fail/all.T')
| -rw-r--r-- | testsuite/tests/deriving/should_fail/all.T | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/deriving/should_fail/all.T b/testsuite/tests/deriving/should_fail/all.T index d195a08691..4743d3530d 100644 --- a/testsuite/tests/deriving/should_fail/all.T +++ b/testsuite/tests/deriving/should_fail/all.T @@ -76,6 +76,7 @@ test('T15073', [extra_files(['T15073a.hs'])], multimod_compile_fail, ['T15073', '-v0']) test('T16181', normal, compile_fail, ['']) test('T16923', normal, compile_fail, ['']) +test('T18127b', normal, compile_fail, ['']) test('deriving-via-fail', normal, compile_fail, ['']) test('deriving-via-fail2', normal, compile_fail, ['']) test('deriving-via-fail3', normal, compile_fail, ['']) |