@@ -1447,7 +1447,9 @@ showName ist bnd impl colour n = case ist of
1447showTm :: IState -- ^^ the Idris state, for information about identifiers and colours
1447showTm :: IState -- ^^ the Idris state, for information about identifiers and colours
1448 -> PTerm -- ^^ the term to show
1448 -> PTerm -- ^^ the term to show
1449 -> String
1449 -> String
1450−showTm ist = displayDecorated (consoleDecorate ist) . renderCompact . prettyImp (opt_showimp (idris_options ist))
1450+showTm ist = displayDecorated (consoleDecorate ist) .
1451+ renderPretty 0.8 100000 .
1452+ prettyImp (opt_showimp (idris_options ist))
1452-- | Show a term with implicits, no colours
1454-- | Show a term with implicits, no colours
1453showTmImpls :: PTerm -> String
1455showTmImpls :: PTerm -> String