From 2abe1fae40a1c65ff66ad51c98d92be9c7d9d8a5 Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Sat, 20 Jan 2024 19:46:16 +0100 Subject: Better recovery after an error — prevent an infinite loop MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- lib/qparser/lexbuf.mli | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'lib/qparser/lexbuf.mli') diff --git a/lib/qparser/lexbuf.mli b/lib/qparser/lexbuf.mli index ac3b262..f9812a7 100644 --- a/lib/qparser/lexbuf.mli +++ b/lib/qparser/lexbuf.mli @@ -64,7 +64,8 @@ type state = | String of stringWraper (** String enclosed by [''] *) | MString of int (** String enclosed by [{}]*) | EndString of stringWraper - (** State raised just before closing the string *) + (** State raised just before closing the string. + The buffer is rollbacked and the position is the closing symbol. *) | Expression (** Expression where [!] is an operator *) val pp_state : Format.formatter -> state -> unit -- cgit v1.2.3