Make ppr_tc_args aware of -fprint-explicit-kinds
authorRyan Scott <ryan.gl.scott@gmail.com>
Thu, 5 Jul 2018 12:52:20 +0000 (08:52 -0400)
committerBen Gamari <ben@smart-cactus.org>
Thu, 12 Jul 2018 19:28:30 +0000 (15:28 -0400)
commit113bdb8b873b1e3def4f86f2a3c6923b869dcb0f
tree44512146e119cd5a92664820264a828a6488ad0d
parent634c07dc2bd9b2be53d707d613df9e7100d543aa
Make ppr_tc_args aware of -fprint-explicit-kinds

Summary:
`ppr_tc_args` was printing invisible kind arguments even
when `-fprint-explicit-kinds` wasn't enabled. Easily fixed.

Test Plan: make test TEST=T15341

Reviewers: goldfire, bgamari, simonpj

Reviewed By: simonpj

Subscribers: simonpj, rwbarton, thomie, carter

GHC Trac Issues: #15341

Differential Revision: https://phabricator.haskell.org/D4932

(cherry picked from commit dbdcacfc55f28d8a85484cc1cf13dd78c45bf7ee)
compiler/iface/IfaceType.hs
testsuite/tests/ghci/scripts/T15341.hs [new file with mode: 0644]
testsuite/tests/ghci/scripts/T15341.script [new file with mode: 0644]
testsuite/tests/ghci/scripts/T15341.stdout [new file with mode: 0644]
testsuite/tests/ghci/scripts/T7939.stdout
testsuite/tests/ghci/scripts/all.T
testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr