diff options
| author | Chimrod <> | 2023-09-29 09:05:45 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-09-29 10:00:21 +0200 |
| commit | 5e0b521a2ccce4bd19cf5d08176616f760180c11 (patch) | |
| tree | 75319ef16d46f02f0e4057cf44f9d97528d1a994 /lib/lexer.mli | |
| parent | a5ca18d209e3e85c79c38ea0256e68de19fac91f (diff) | |
Made the lexer buffer abstract
Diffstat (limited to 'lib/lexer.mli')
| -rw-r--r-- | lib/lexer.mli | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/lib/lexer.mli b/lib/lexer.mli index 0a8ec12..65e9fa0 100644 --- a/lib/lexer.mli +++ b/lib/lexer.mli @@ -4,11 +4,5 @@ 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 +val token : Lexbuf.t -> Tokens.token +val discard : Lexbuf.t -> unit |