idris-lang/Idris-dev — pull request #1040 by david-christiansen (2014-04-07 14:16:42+00:00)
Title: Show terms more prettily

Now, a different pretty-print renderer is used for showTm. This should
improve display in various places in the code that don't yet work with
pretty-printer documents natively.

RE #1019 , this seems to fix the printing problem but not the IBC problem.