(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-04-04 21:16:27 CEST by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-04-15 17:50:33 CEST by Kim Nguyen>
*)
INCLUDE "utils.ml"
done;
at_exit (fun () -> eprintf "INFO: %i iterations\n" !iter);
let r = get_results auto tree node cache in
- TRACE(Html.gen_trace (module T : Tree.Sig.S with type t = T.t) (tree));
+ TRACE(Html.gen_trace (module T : Tree.S with type t = T.t) (tree));
r
end
let gen_trace (type s) = (); fun t tree ->
- let module T = (val (t) : Tree.Sig.S with type t = s) in
+ let module T = (val (t) : Tree.S with type t = s) in
let rec loop odot ohtml node parent =
if node == T.nil then () else begin
let s_node = "node" ^ (string_of_int (T.preorder tree node)) in
fprintf odot "%s[ id=\"%s\" label=\"%s\"];\n"
- s_node s_node (Utils.QName.to_string (T.tag tree node));
+ s_node s_node (QName.to_string (T.tag tree node));
let m =
try
Hashtbl.find info (T.preorder tree node)
val trace : int -> int -> ('a, Format.formatter, unit, unit) format4 -> 'a
-val gen_trace : (module Tree.Sig.S with type t = 'a) -> 'a -> unit
+val gen_trace : (module Tree.S with type t = 'a) -> 'a -> unit