diff options
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 |