This commit was manufactured by cvs2svn to create branch 'scripts'.

[helm.git] / helm / ocaml / mathql_interpreter_galax / test_use.ml

diff --git a/helm/ocaml/mathql_interpreter_galax/test_use.ml b/helm/ocaml/mathql_interpreter_galax/test_use.ml
deleted file mode 100644 (file)
index a366e00..0000000
--- a/helm/ocaml/mathql_interpreter_galax/test_use.ml
+++ /dev/null
@@ -1,29 +0,0 @@
-
-
-open Mathql_semantics;;
-open MathQL;;
-
-(* stampa tutti i documenti che fanno match con un pattern di input *)
-List.iter
- (function atturi -> print_endline ("output: " ^ atturi))
- (match Mqint2.execute
-  (MQList
-  (MQUse
-   (MQPattern
-    (
-     Some "cic",
-    [MQBD; MQBC "Algebra"; MQBD; MQBC "Basics"; MQBSS],
-   (* [MQBD;MQBC "Algebra"; MQBD; MQBC "Basics"; MQBD;
-    MQBC"Z_exh.con"],*)
-    (*[MQBSS; MQBC ".var"],*)
-     []
-    ),   
-   "pippo")
-   )
-  ) with MQRefs l -> l 
- );
-
-
-
-;;
-