commit of galax mathql interpreter

[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
new file mode 100644 (file)
index 0000000..a366e00
--- /dev/null
+++ b/helm/ocaml/mathql_interpreter_galax/test_use.ml
@@ -0,0 +1,29 @@
+
+
+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 
+ );
+
+
+
+;;
+