@@ -1447,7 +1447,9 @@ showName ist bnd impl colour n = case ist of
14471447showTm :: IState -- ^^ the Idris state, for information about identifiers and colours
14481448 -> PTerm -- ^^ the term to show
14491449 -> 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))
14511453
14521454-- | Show a term with implicits, no colours
14531455showTmImpls :: PTerm -> String