]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/relation.ml
new interface for text_of_query/text_of_result + bug fixes
[helm.git] / helm / ocaml / mathql_interpreter / relation.ml
index e5b700064bb297e6d35e533a3d4b73af334c7c31..96b97f6578c727f4ac867a5ed0da38ebdc658b81 100644 (file)
@@ -65,7 +65,7 @@ let relation_ex inv rop path rset assl =
  
     "refObj" 
   | "backPointer" ->               (* proprieta` refObj e backPointer *)
-    print_endline "IN BACKPOINTER";
+(*    print_endline "IN BACKPOINTER"; *)
     let prop = get_prop_id relk in
     if assl = [] then    (* se non ci sono assegnamenti *)
       let c = pgc () in
@@ -73,11 +73,11 @@ let relation_ex inv rop path rset assl =
       (List.fold_left (fun acc (uri,l) ->
         let tv = pgresult_to_string (c#exec ("select id from registry where uri='" ^ uri ^ "'")) in
         let qq = "select uri from t" ^ tv ^ " where prop_id='" ^ prop ^ "' order by uri asc" in
-       print_endline qq;
+(*     print_endline qq; *)
         let res = c#exec qq in
         
        let l = (pgresult_to_string_list res) in
-       List.iter print_endline l;
+(*     List.iter print_endline l; *)
         (List.map
          (function  
                [uri] -> [(uri,[])]