idris-lang/Idris-dev — pull request #895 by david-christiansen (2014-02-14 17:14:41+00:00)
Title: Flatten tuples to right in pretty printer

* Tuples are flattened to the right, just as the parser nests them to
the right

* Almost-duplicate printing code for tuples and pair types is greatly
simplified.

Fixes #881.