(* Just a trick to allow the C++ code to print debugging stuff first *)
let v = time (fun () -> let v = Tree.Binary.parse_xml_uri filename;
in Printf.eprintf "Parsing document : %!";v
) ()
in
(* Just a trick to allow the C++ code to print debugging stuff first *)
let v = time (fun () -> let v = Tree.Binary.parse_xml_uri filename;
in Printf.eprintf "Parsing document : %!";v
) ()
in
Printf.eprintf "\n=================================================\nDEBUGGING\n%!";
Tree.DEBUGTREE.print_stats Format.err_formatter;;
Printf.eprintf "\n=================================================\nDEBUGGING\n%!";
Tree.DEBUGTREE.print_stats Format.err_formatter;;