git.iko.soy/Idris-dev
on master help sign in
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.

commit5f3627c5e0faab38d1ed92e989207e1587ddc3d6 authorDavid Raymond Christiansen <david@davidchristiansen.dk> dateMon 7 Apr 2014, 16:14 (13 years ago) parentd53dc76
1 file changed+3−1
compare with master
unifiedsplit
src/Idris/AbsSyntaxTree.hs+3−1
src/Idris/AbsSyntaxTree.hs+3−1
@@ -1432,7 +1432,9 @@ showName ist bnd impl colour n = case ist of
14321432showTm :: IState -- ^^ the Idris state, for information about identifiers and colours
14331433 -> PTerm -- ^^ the term to show
14341434 -> String
1435−showTm ist = displayDecorated (consoleDecorate ist) . renderCompact . prettyImp (opt_showimp (idris_options ist))
1435+showTm ist = displayDecorated (consoleDecorate ist) .
1436+ renderPretty 0.8 100000 .
1437+ prettyImp (opt_showimp (idris_options ist))
14361438
14371439-- | Show a term with implicits, no colours
14381440showTmImpls :: PTerm -> String