diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-07-05 08:30:02 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-07-05 08:30:02 -0400 |
| commit | 93b7ac8d73885369f61f6eb6147352d45de4e957 (patch) | |
| tree | fac12c8cb7780fbd053bb632e1f0448995b93ff3 /testsuite/tests/deriving/should_compile/T14578.stderr | |
| parent | 59a15a56e180b59656e45df04f7df61de8298881 (diff) | |
| download | haskell-93b7ac8d73885369f61f6eb6147352d45de4e957.tar.gz | |
Fix #15308 by suppressing invisble args more rigorously
Summary:
There was a buglet in `stripInvisArgs` (which is part of the
pretty-printing pipeline for types) in which only invisble arguments
which came before any visible arguments would be suppressed, but any
invisble arguments that came //after// visible ones would still be
printed, even if `-fprint-explicit-kinds` wasn't enabled.
The fix is simple: make `stripInvisArgs` recursively process the
remaining types even after a visible argument is encountered.
Test Plan: make test TEST=T15308
Reviewers: goldfire, bgamari
Reviewed By: bgamari
Subscribers: simonpj, rwbarton, thomie, carter
GHC Trac Issues: #15308
Differential Revision: https://phabricator.haskell.org/D4891
Diffstat (limited to 'testsuite/tests/deriving/should_compile/T14578.stderr')
0 files changed, 0 insertions, 0 deletions