helm/ocaml/mathql_interpreter_galax/2test_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 Mqint.execute
  10   (MQList
  11   (MQUse
  12    (MQPattern
  13     (
  14      Some "cic",
  15     [MQBD;MQBC "Algebra"; MQBD; MQBC "Basics"; MQBD; MQBC"NEG_anti_convert.con"],
  16    (* [MQBSS; MQBC ".con"],*)
  17      []
  18     ),
  19    "pippo")
  20    )
  21   ) with MQRefs l -> l
  22  );
  23
  24
  25
  26 ;;
  27