Commit 09459d22 authored by POTTIER Francois's avatar POTTIER Francois

Code movement.

parent a7d4fa08
......@@ -67,9 +67,6 @@ let logC =
(* Errors and warnings. *)
let errors =
ref false
let print_positions f positions =
List.iter (fun position ->
fprintf f "%s:\n" (Positions.string_of_pos position)
......@@ -87,18 +84,28 @@ let error positions format =
"Error: "
positions format
let signal positions format =
display
(fun _ -> errors := true)
"Error: "
positions format
let warning positions format =
display
(fun _ -> ())
"Warning: "
positions format
let errorp v =
error [ Positions.position v ]
(* ---------------------------------------------------------------------------- *)
(* Delayed error reports -- where multiple errors can be reported at once. *)
let errors =
ref false
let signal positions format =
display
(fun _ -> errors := true)
"Error: "
positions format
let errors () =
!errors
......@@ -106,8 +113,5 @@ let exit () =
if errors() then
exit 1
let errorp v =
error [ Positions.position v ]
let grammar_warning =
if Settings.strict then signal else warning
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment