]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mQueryInterpreter.ml
patched and new Gen constructor added
[helm.git] / helm / ocaml / mathql_interpreter / mQueryInterpreter.ml
index a459fe82954e9eaa02ca09e9c3d07bac31712dad..a852affdeeaa3bf03df23426f8b63686483c1500 100644 (file)
@@ -134,8 +134,11 @@ let execute h x =
         select_aux (eval_query c x)
       | M.Fun p pl xl -> 
          let e = {L.eval = eval_query c; L.conn = h} in
-         L.eval e (F.text_out_spec (C.log h) "\n") F.text_in_spec 
+         L.fun_eval e (F.text_out_spec (C.log h) "\n") F.text_in_spec 
             p pl xl
+      | M.Gen p xl -> 
+         let e = {L.eval = eval_query c; L.conn = h} in
+        eval_query c (L.gen_eval e p xl)
    and eval_grp c = function
       | M.Attr gs ->
          let attr_aux g (p, y) = U.mql_union g [p, proj (eval_query c y)] in