Typeable: Only render saturated tuple types with tuple syntax
ClosedPublic

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

Details

Summary

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

Validate

Diff Detail

Repository
rGHC Glasgow Haskell Compiler
Lint
Automatic diff as part of commit; lint not applicable.
Unit
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.