@@ -1432,7 +1432,9 @@ showName ist bnd impl colour n = case ist of
1432showTm :: IState -- ^^ the Idris state, for information about identifiers and colours
1432showTm :: IState -- ^^ the Idris state, for information about identifiers and colours
1433 -> PTerm -- ^^ the term to show
1433 -> PTerm -- ^^ the term to show
1434 -> String
1434 -> 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))
1437-- | Show a term with implicits, no colours
1439-- | Show a term with implicits, no colours
1438showTmImpls :: PTerm -> String
1440showTmImpls :: PTerm -> String