diff options
Diffstat (limited to 'lib/analyzer.mli')
| -rw-r--r-- | lib/analyzer.mli | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/lib/analyzer.mli b/lib/analyzer.mli index 43509ba..e7efdb0 100644 --- a/lib/analyzer.mli +++ b/lib/analyzer.mli @@ -1,16 +1,8 @@ -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) -> (module Encoding.S) -> Sedlexing.lexbuf -> - ('a, error) Result.t + ('a, Qsp_syntax.Report.t) Result.t (** Read the source and build a analyzis over it. This method make the link between the source file and how to read it |