1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
let enable_msgs = (* isatty is not available...*)
(Unix.fstat Unix.stderr).Unix.st_kind = Unix.S_CHR
let cur_msg = ref ""
let hide_msg () =
if !cur_msg <> "" then begin
prerr_string "\r";
prerr_string (String.make (String.length !cur_msg) ' ');
prerr_string "\r";
flush stderr;
end
let show_msg () =
if !cur_msg <> "" then begin prerr_string !cur_msg; flush stderr end
let set_msg s =
if enable_msgs && s <> !cur_msg then begin
hide_msg (); cur_msg := s; show_msg ()
end
(****)
let warn_loc = ref None
let set_warning_location s = warn_loc := Some s
let reset_warning_location () = warn_loc := None
let print_warning s =
hide_msg ();
begin match !warn_loc with
None -> Format.eprintf "Warning: %s@." s
| Some s' -> Format.eprintf "Warning (%s): %s@." s' s
end;
show_msg ()
let fail s =
hide_msg ();
Format.eprintf "Failure: %s@." s;
exit 1
(****)
let title s = Format.printf "%s@.%s@." s (String.make (String.length s) '=')
|
