Typeable: Only render saturated tuple types with tuple syntax

Authored by bgamari on Aug 20 2018, 6:43 PM.



This isn't as efficient as it could be since it needs to compute the kind of the
type. However, this is show so there shouldn't be any particular expectation
of speed.

Fixes Trac #14341.

Test Plan


Diff Detail

rGHC Glasgow Haskell Compiler
Automatic diff as part of commit; lint not applicable.
Automatic diff as part of commit; unit tests not applicable.
bgamari created this revision.Aug 20 2018, 6:43 PM
bgamari updated this revision to Diff 17712.Aug 20 2018, 8:08 PM

Fix testcase

I would add print $ typeRep @((,,) Int Int Int) in the testcase for completeness. Otherwise LGTM.

This revision was not accepted when it landed; it landed in state Needs Review.Oct 15 2018, 4:44 PM
This revision was automatically updated to reflect the committed changes.