1 let exit_flag = ref true
3 let exit_if_error () = exit_flag := true
5 let resume_if_error () = exit_flag := false
7 exception Error of Position.t list * string
9 let print_error positions msg =
12 (List.map (fun p -> Position.string_of_pos p ^": ") positions))
15 let error_alert positions msg =
17 output_string stderr (print_error positions msg);
20 else raise (Error (positions, msg))
22 let global_error kind msg =
23 error_alert [] (Printf.sprintf "Global Error (%s):\n %s\n" kind msg)
25 let error kind pos msg =
26 error_alert [pos] (Printf.sprintf "Error (%s):\n %s\n" kind msg)
28 let error2 kind pos1 pos2 msg =
29 error_alert [pos1; pos2] (Printf.sprintf "Error (%s):\n %s\n" kind msg)
31 let warning kind msg =
32 let mem_flag = !exit_flag in
35 error_alert [] (Printf.sprintf "Warning (%s):\n %s\n" kind msg)
36 with Error (positions, msg) ->
37 output_string stderr (print_error positions msg));