helm/ocaml/mathql_interpreter_galax/test_use.ml

   1
   2
   3 open Mathql_semantics;;
   4 open MathQL;;
   5
   6 (* stampa tutti i documenti che fanno match con un pattern di input *)
   7 List.iter
   8  (function atturi -> print_endline ("output: " ^ atturi))
   9  (match Mqint2.execute
  10   (MQList
  11   (MQUse
  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    "pippo")
  22    )
  23   ) with MQRefs l -> l
  24  );
  25
  26
  27
  28 ;;
  29