projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
added optimisations in the run function
[SXSI/xpathcomp.git]
/
main.ml
diff --git
a/main.ml
b/main.ml
index
b30eff2
..
cb890e7
100644
(file)
--- a/
main.ml
+++ b/
main.ml
@@
-51,10
+51,10
@@
let main v query_string output =
in
(* let _ = Printf.eprintf "Timing //keyword :" in
let r = time (test_loop v) (Tag.tag "keyword") in
in
(* let _ = Printf.eprintf "Timing //keyword :" in
let r = time (test_loop v) (Tag.tag "keyword") in
- let _ = Printf.eprintf "Count is %i\n%!" r in
+ let _ = Printf.eprintf "Count is %i\n%!" r in
*)
let _ = Printf.eprintf "Timing //keyword 2:" in
let r = time (test_loop2 v) (Tag.tag "keyword") in
let _ = Printf.eprintf "Timing //keyword 2:" in
let r = time (test_loop2 v) (Tag.tag "keyword") in
- let _ = Printf.eprintf "Count is %i\n%!" r in
*)
+ let _ = Printf.eprintf "Count is %i\n%!" r in
XPath.Ast.print Format.err_formatter query;
Format.fprintf Format.err_formatter "\n%!";
Printf.eprintf "Compiling query : ";
XPath.Ast.print Format.err_formatter query;
Format.fprintf Format.err_formatter "\n%!";
Printf.eprintf "Compiling query : ";
@@
-105,7
+105,7
@@
let main v query_string output =
begin
let _ = Gc.full_major();Gc.compact() in
let _ = Printf.eprintf "%!" in
begin
let _ = Gc.full_major();Gc.compact() in
let _ = Printf.eprintf "%!" in
- let _ = Gc.set (disabled_gc) in
+(* let _ = Gc.set (disabled_gc) in *)
if !Options.backward && ((snd test_list) != `NOTHING )then
let r = time (bottom_up_count auto v )(snd test_list) in
if !Options.backward && ((snd test_list) != `NOTHING )then
let r = time (bottom_up_count auto v )(snd test_list) in