]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mQILib.ml
interpreter flags were reorganized
[helm.git] / helm / ocaml / mathql_interpreter / mQILib.ml
index b2260244582f625ceb568cc342d43db8ffc55619..312e806cd65c8d988ff75cb3e8bf1004e27c315e 100644 (file)
@@ -29,7 +29,6 @@
 module M = MathQL
 module P = MQueryUtil 
 module C = MQIConn 
-module U = MQIUtil
 
 (* external function specification ******************************************)
 
@@ -42,8 +41,9 @@ type eval_spec = {eval : M.query -> M.result;
                 }
 
 type text_out_spec = {out    : string -> unit;
+                      sep    : string;
                       path   : (string -> unit) -> M.path -> unit;
-                     query  : (string -> unit) -> string -> M.query -> unit;
+                     query  : (string -> unit) -> string -> M.query -> unit;
                      result : (string -> unit) -> string -> M.result -> unit
                     }
 
@@ -83,7 +83,7 @@ let check_arity p i = function
 
 let std o = 
    {s_out = o.out; s_path = o.path o.out; 
-    s_query = o.query o.out ""; s_result = o.result o.out "\n"
+    s_query = o.query o.out o.sep; s_result = o.result o.out o.sep
    }
 
 let out_txt2 o n x1 x2 =