]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/func.ml
MQueryInterpreter: interface updated
[helm.git] / helm / ocaml / mathql_interpreter / func.ml
index 8bc0c8d10d273cc8eb6d2908758406b348cd2c74..7e1f22367d3ee88f669564ef92174ca0481f084e 100644 (file)
  *
  *)
 
-open Dbconn;;
 open Utility;;
 open Intersect;;
 
 (*
  * implementazione delle funzioni dublin core
  *)
-let rec fun_ex tab = function
+let rec fun_ex handle tab = function
     [] -> []
   | s::tl -> let res =
-             let c = pgc () in
+             let c = MQIConn.pgc handle in
             let q = ("select " ^ tab ^ ".uri from " ^ tab ^ " where " ^ tab ^ ".value = '" ^ s ^ "'") in
                     pgresult_to_string_list (c#exec q)
              in
-             append (res,(fun_ex tab tl))
+             append (res,(fun_ex handle tab tl))
 ;;