aboutsummaryrefslogtreecommitdiff
path: root/lib/analyzer.mli
diff options
context:
space:
mode:
authorChimrod <>2023-09-28 19:20:58 +0200
committerChimrod <>2023-09-29 10:00:21 +0200
commit6c080cae7b1ea26bc66f710f4b71a372f83645a0 (patch)
tree96154bb096a3a1efbbdf0b135321edbb2e04e12f /lib/analyzer.mli
parent9afade0826dba875ced9954b4c36f4e80e9f7731 (diff)
Skip the faulty location when reading the whole compiled file
Diffstat (limited to 'lib/analyzer.mli')
-rw-r--r--lib/analyzer.mli10
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