lib/analyzer.mli


1
2
3
4
5
6
7
8
9
10
11
12

type error = {
  message : string;
  start_pos : Lexing.position;
  end_pos : Lexing.position;
}

val format_error : Format.formatter -> error -> unit

val parse :
  (module Qsp_syntax.S.Analyzer with type Location.repr = 'a) ->
  Lexing.lexbuf ->
  ('a, error) Result.t