moved environmentP3 in cic_textual_parser2 and reshaped interface

[helm.git] / helm / ocaml / cic_disambiguation / parser.mli

diff --git a/helm/ocaml/cic_disambiguation/parser.mli b/helm/ocaml/cic_disambiguation/parser.mli
index 2a70d50919f61dda6765c414202f6592860cafb1..7f855a459e753a817e95784a3fb02e8d3aea8180 100644 (file)
--- a/helm/ocaml/cic_disambiguation/parser.mli
+++ b/helm/ocaml/cic_disambiguation/parser.mli
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+exception Parse_error of string
+
 (** {2 Parsing functions} *)
 
 val parse_term: char Stream.t -> Ast.term
@@ -36,11 +38,3 @@ val return_term: Ast.location -> Ast.term -> Ast.term
   (** raise a parse error *)
 val fail: Ast.location -> string -> 'a
 
-(*
-open Disambiguate_types
-
-val main:
-  context:Cic.name option list -> char Stream.t ->
-    Domain.t * (interpretation -> Cic.term)
-*)
-