Don't stylise uge strings

Fix #73
This commit is contained in:
Jeremie Dimino 2014-06-24 14:25:49 +01:00
parent 6124f722f0
commit deccc8ea16
1 changed files with 14 additions and 10 deletions

View File

@ -231,6 +231,9 @@ let fix_string str =
end
let render_out_phrase term string =
if String.length string >= 100 * 1024 then
LTerm.fprint term string
else begin
let string = fix_string string in
let styled = LTerm_text.of_string string in
let stylise loc token_style =
@ -241,6 +244,7 @@ let render_out_phrase term string =
in
UTop_styles.stylise stylise (UTop_lexer.lex_string (UTop.get_syntax ()) string);
LTerm.fprints term styled
end
let orig_print_out_signature = !Toploop.print_out_signature
let orig_print_out_phrase = !Toploop.print_out_phrase