- time( fun () ->
- (*let oc = open_out f in *)
- let oc = Unix.openfile f [ Unix.O_WRONLY;Unix.O_TRUNC;Unix.O_CREAT] 0o644 in
- (*output_string oc "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n";*)
- let t1 = ref (Unix.gettimeofday()) in
- let count = ref 1 in
- let old_count = ref 1 in
- GR.Results.iter (fun t ->
- incr count;
- begin
- if (!count mod 15) == 0
- then
- let t2 = Unix.gettimeofday() in
- let _ = Printf.eprintf "Printing %i elements in %f ms\n"
- (!count - !old_count) (1000. *.(t2 -. !t1))
- in
- ( old_count := !count; t1 := Unix.gettimeofday())
- end;
- Tree.print_xml_fast3 v t oc;
- (*output_char oc '\n'; *)
- ) result) ();
- end;