]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter_galax/test_pattern.ml
commit of galax mathql interpreter
[helm.git] / helm / ocaml / mathql_interpreter_galax / test_pattern.ml
diff --git a/helm/ocaml/mathql_interpreter_galax/test_pattern.ml b/helm/ocaml/mathql_interpreter_galax/test_pattern.ml
new file mode 100755 (executable)
index 0000000..a06eca8
--- /dev/null
@@ -0,0 +1,28 @@
+
+
+
+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
+         (MQPattern
+            (
+                 Some "cic",
+                    (* [MQBD;MQBC "Algebra"; MQBD; MQBC "Basics"; MQBSS],*)
+                        [MQBD;MQBC "Algebra"; MQBD; MQBC "Basics"; MQBD;
+                            MQBC"Z_exh.con"],
+                                (*[MQBSS; MQBC ".var"],*)
+                                     []
+                                     )
+                                     )
+     ) with MQRefs l -> l
+   );
+
+
+
+                                                  ;;
+