Made the syntax analyzer generic

1 files changed, 12 insertions, 0 deletions

diff --git a/lib/analyzer.mli b/lib/analyzer.mli
new file mode 100644
index 0000000..3032375
--- /dev/null
+++ b/lib/analyzer.mli
@@ -0,0 +1,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