diff options
Diffstat (limited to 'lib/analyzer.ml')
| -rw-r--r-- | lib/analyzer.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/lib/analyzer.ml b/lib/analyzer.ml index 547b3da..7a64cab 100644 --- a/lib/analyzer.ml +++ b/lib/analyzer.ml @@ -5,14 +5,13 @@ *) let parse : (module Qsp_syntax.S.Analyzer with type Location.repr = 'a) -> - Sedlexing.lexbuf -> + Lexbuf.t -> ('a, Qsp_syntax.Report.t) Result.t = fun (type a) (module S : Qsp_syntax.S.Analyzer with type Location.repr = a) -> let module Parser = Parser.Make (S) in let module IncrementalParser = Interpreter.Interpreter (Parser.MenhirInterpreter) in - fun lexbuf -> - let l = Lexbuf.from_lexbuf lexbuf in + fun l -> let lexer = Lexbuf.tokenize Lexer.token l in let init = Parser.Incremental.main (fst (Lexbuf.positions l)) in |