helm/ocaml/mathql_interpreter_galax/test_pattern.ml

   1
   2
   3
   4 open Mathql_semantics;;
   5 open MathQL;;
   6
   7 (* stampa tutti i documenti che fanno match con un pattern di input *)
   8 List.iter
   9  (function atturi -> print_endline ("output: " ^ atturi))
  10   (match Mqint2.execute
  11     (MQList
  12          (MQPattern
  13              (
  14                   Some "cic",
  15                      (* [MQBD;MQBC "Algebra"; MQBD; MQBC "Basics"; MQBSS],*)
  16                          [MQBD;MQBC "Algebra"; MQBD; MQBC "Basics"; MQBD;
  17                              MQBC"Z_exh.con"],
  18                                  (*[MQBSS; MQBC ".var"],*)
  19                                       []
  20                                       )
  21                                       )
  22      ) with MQRefs l -> l
  23    );
  24
  25
  26
  27                                                    ;;
  28