faster database format implemented

[helm.git] / helm / ocaml / mathql_interpreter / select.ml

diff --git a/helm/ocaml/mathql_interpreter/select.ml b/helm/ocaml/mathql_interpreter/select.ml
index 191ffde342d68c9853a6380166188c95fb7962ea..f408b8bfe582ec6521fe9894f2009aef0df4155b 100644 (file)
--- a/helm/ocaml/mathql_interpreter/select.ml
+++ b/helm/ocaml/mathql_interpreter/select.ml
@@ -193,12 +193,18 @@ let rec replace avar newval l =
  * implementazione del comando SELECT
  *)
 let select_ex avar alist abool =
- let wrt = replace avar "retVal" abool in
- (*let j = print_booltree wrt in*)
-  [List.hd alist]
-  @
-  List.find_all
-   (fun l -> is_good (List.combine (List.hd alist) l) wrt)
-   (List.tl alist)
+ let _ = print_string ("SELECT ")
+ and t = Unix.time () in
+  let result = 
+   let wrt = replace avar "retVal" abool in
+   (*let j = print_booltree wrt in*)
+    [List.hd alist]
+    @
+    List.find_all
+     (fun l -> is_good (List.combine (List.hd alist) l) wrt)
+     (List.tl alist)
+  in
+   let _ = print_endline (string_of_float (Unix.time () -. t)); flush stdout in
+    result
 ;;