|
@@ -153,13 +153,6 @@ let last_doc : (string * int) option ref = ref None
|
|
let syntax_errors = ref []
|
|
let syntax_errors = ref []
|
|
|
|
|
|
let syntax_error error_msg ?(pos=None) s v =
|
|
let syntax_error error_msg ?(pos=None) s v =
|
|
- (match error_msg with
|
|
|
|
- | Expected ["}"] ->
|
|
|
|
- print_string "";
|
|
|
|
- print_string "";
|
|
|
|
- print_string "";
|
|
|
|
- | _-> ()
|
|
|
|
- );
|
|
|
|
let p = (match pos with Some p -> p | None -> next_pos s) in
|
|
let p = (match pos with Some p -> p | None -> next_pos s) in
|
|
let p = if p.pmax = max_int then {p with pmax = p.pmin + 1} else p in
|
|
let p = if p.pmax = max_int then {p with pmax = p.pmin + 1} else p in
|
|
if not !in_display then error error_msg p;
|
|
if not !in_display then error error_msg p;
|