helm/DEVEL/rdfly/query.ml

   1
   2 module PG = Postgres
   3
   4 let db =
   5   try
   6     new PG.connection "dbname='mowgli_test' user='helm' host='mowgli.cs.unibo.it'"
   7   with
   8     PG.Error e as exc ->
   9       prerr_endline (PG.string_of_error e) ;
  10       raise exc
  11
  12 let res = db#exec "SELECT * FROM refObj WHERE source = 'cic:/Coq/Arith/Le/le_O_n.con';"
  13
  14 let _ =
  15   Printf.printf "# results: %d\n" (res#ntuples) ;
  16   flush stdout