diff options
| author | Chimrod <> | 2023-09-28 18:52:29 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-09-29 10:00:21 +0200 |
| commit | 71bdfc566bd50323695842a1c78007e1daac0e61 (patch) | |
| tree | ae729cf88703c4053da24836aa7c533369f9b687 /lib/lexer.mli | |
| parent | 93355b06a8270f02d345bdbe7b6a8c1bea9789bb (diff) | |
Added a way to discard the content until the end of the location — recover after an error
Diffstat (limited to 'lib/lexer.mli')
| -rw-r--r-- | lib/lexer.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/lexer.mli b/lib/lexer.mli index 41c7c11..0a8ec12 100644 --- a/lib/lexer.mli +++ b/lib/lexer.mli @@ -2,9 +2,13 @@ module type Encoding = sig val lexeme : Sedlexing.lexbuf -> string end +exception EOF + val lexer : (module Encoding) -> Sedlexing.lexbuf -> unit -> Tokens.token * Lexing.position * Lexing.position (** Apply the lexer to the source *) + +val discard : Sedlexing.lexbuf -> unit |