silence camlp4
This commit is contained in:
parent
98334b8883
commit
5be7134436
|
@ -118,8 +118,13 @@ let parse_use_file str eos_is_error =
|
||||||
let () =
|
let () =
|
||||||
UTop.parse_toplevel_phrase := parse_toplevel_phrase;
|
UTop.parse_toplevel_phrase := parse_toplevel_phrase;
|
||||||
UTop.parse_use_file := parse_use_file;
|
UTop.parse_use_file := parse_use_file;
|
||||||
(* Force camlp4 to display its welcome message. *)
|
(* So that camlp4 doesn't display its welcome message. *)
|
||||||
try
|
let interactive = !Sys.interactive in
|
||||||
ignore (!Toploop.parse_toplevel_phrase (Lexing.from_string ""))
|
Sys.interactive := false;
|
||||||
with _ ->
|
let () =
|
||||||
()
|
try
|
||||||
|
ignore (!Toploop.parse_toplevel_phrase (Lexing.from_string ""))
|
||||||
|
with _ ->
|
||||||
|
()
|
||||||
|
in
|
||||||
|
Sys.interactive := interactive
|
||||||
|
|
Loading…
Reference in New Issue