Better error messages in parser

[fireball-separation.git] / ocaml / parser.mli

diff --git a/ocaml/parser.mli b/ocaml/parser.mli
index 927506732d13e8c125769d28a4c3dcaf5696c6af..d131edbf79b65b46315d19510ec9e96583b9f58e 100644 (file)
--- a/ocaml/parser.mli
+++ b/ocaml/parser.mli
@@ -1,6 +1,5 @@
 exception ParsingError of string\r
 \r
-val parse': string list -> Num.nf list * string list\r
 val problem_of_string:\r
  string ->\r
   string (* problem label *)\r
@@ -8,3 +7,9 @@ val problem_of_string:
   * Num.i_n_var list (* conv *)\r
   * Num.i_n_var list (* ps *)\r
   * string list (* names of free variables *)\r
+val from_file : string ->\r
+ (string (* problem label *)\r
+ * Num.i_var option (* div *)\r
+ * Num.i_n_var list (* conv *)\r
+ * Num.i_n_var list (* ps *)\r
+ * string list (* names of free variables *)) list\r