diff options
| author | Chimrod <> | 2023-12-08 15:03:22 +0100 |
|---|---|---|
| committer | Chimrod <> | 2023-12-08 15:03:22 +0100 |
| commit | 6dc8d7789aa165663d135c62a9f766b6b26c4920 (patch) | |
| tree | 9aeff14fe33c7ea899ef233e0e8daa75aba47efb /lib/qparser/lexer.mli | |
| parent | cb5dba7e1ad74f81294b8f48b84cab7683059afa (diff) | |
Better error recovery after an error in one source file
Diffstat (limited to 'lib/qparser/lexer.mli')
| -rw-r--r-- | lib/qparser/lexer.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/qparser/lexer.mli b/lib/qparser/lexer.mli index be10ddb..299fa46 100644 --- a/lib/qparser/lexer.mli +++ b/lib/qparser/lexer.mli @@ -14,3 +14,4 @@ val discard : Lexbuf.t -> unit Used in case of unrecoverable error *) val main : Lexbuf.t -> Tokens.token +(** Main entry point. This function is called after each token returned *) |