X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fmqint.ml;fp=helm%2Focaml%2Fmathql_interpreter%2Fmqint.ml;h=c78465aa7c5f315346f9ddfca51a9afde1790f8d;hb=2ef44e8d1a908a08d31e6114c15898ae7dc8109e;hp=8aa07a36879bc5add524bff23822c9f9e2e38521;hpb=3b401fbefb3830d4f3cdce189ac31559c0219a0d;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml
index 8aa07a368..c78465aa7 100644
--- a/helm/ocaml/mathql_interpreter/mqint.ml
+++ b/helm/ocaml/mathql_interpreter/mqint.ml
@@ -69,24 +69,23 @@ let init () = Dbconn.init ();;
  * output: string list list; risultato internto formato da uri + contesto.
  *)
 let rec execute_ex q =
-   match q with
-      MQSelect (apvar, alist, abool) ->
-       select_ex apvar (execute_ex alist) abool
-   |  MQUsedBy (alist, asvar) ->
-       use_ex (execute_ex alist) asvar "refObj"
-   |  MQUse (alist, asvar) ->
-       use_ex (execute_ex alist) asvar "backPointer"
-   |  MQPattern (apreamble, apattern, afragid) ->
-       (*let _ = print_endline ("*********" ^ apreamble ^ (fi_to_string afragid)); flush stdout in*)
-       pattern_ex apreamble apattern afragid
-   |  MQUnion (l1, l2) ->
-       union_ex (execute_ex l1) (execute_ex l2)
-   |  MQDiff (l1, l2) ->
-       diff_ex (execute_ex l1) (execute_ex l2)
-   |  MQSortedBy (l, o, f) ->
-       sortedby_ex (execute_ex l) o f
-   |  MQIntersect (l1, l2) ->
-       intersect_ex (execute_ex l1) (execute_ex l2)
+ match q with
+    MQSelect (apvar, alist, abool) ->
+     select_ex apvar (execute_ex alist) abool
+ |  MQUsedBy (alist, asvar) ->
+     use_ex (execute_ex alist) asvar "F" (*"refObj"*)
+ |  MQUse (alist, asvar) ->
+     use_ex (execute_ex alist) asvar "B" (*"backPointer"*)
+ |  MQPattern (apreamble, apattern, afragid) ->
+     pattern_ex apreamble apattern afragid
+ |  MQUnion (l1, l2) ->
+     union_ex (execute_ex l1) (execute_ex l2)
+ |  MQDiff (l1, l2) ->
+     diff_ex (execute_ex l1) (execute_ex l2)
+ |  MQSortedBy (l, o, f) ->
+     sortedby_ex (execute_ex l) o f
+ |  MQIntersect (l1, l2) ->
+     intersect_ex (execute_ex l1) (execute_ex l2)
 ;;
 
 (*