diff options
author | Chimrod <> | 2023-09-28 19:20:58 +0200 |
---|---|---|
committer | Chimrod <> | 2023-09-29 10:00:21 +0200 |
commit | 6c080cae7b1ea26bc66f710f4b71a372f83645a0 (patch) | |
tree | 96154bb096a3a1efbbdf0b135321edbb2e04e12f /lib/analyzer.mli | |
parent | 9afade0826dba875ced9954b4c36f4e80e9f7731 (diff) |
Skip the faulty location when reading the whole compiled file
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 |