diff options
| author | Chimrod <> | 2024-01-20 19:46:16 +0100 |
|---|---|---|
| committer | Chimrod <> | 2024-01-20 19:46:16 +0100 |
| commit | 2abe1fae40a1c65ff66ad51c98d92be9c7d9d8a5 (patch) | |
| tree | beb44b0afe74943af50d2b39a6317ff42f1ac0b7 /lib/qparser/lexbuf.mli | |
| parent | 86fd78a5ab65015a9c18ad601856f1b16ed90fa9 (diff) | |
Better recovery after an error — prevent an infinite loop
Diffstat (limited to 'lib/qparser/lexbuf.mli')
| -rw-r--r-- | lib/qparser/lexbuf.mli | 3 |
1 files changed, 2 insertions, 1 deletions
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 |