X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.ml;h=20bd0675a18e648199a683f5539b274aa5eacac9;hb=631e209aca6d467a9ce69b94cfece069214f476b;hp=f84c2bdd1b7abaf64cd2f8d5c5d78a903579a586;hpb=abda8d601887079784b791d81780f1f6d6f87114;p=SXSI%2Fxpathcomp.git diff --git a/tree.ml b/tree.ml index f84c2bd..20bd067 100644 --- a/tree.ml +++ b/tree.ml @@ -34,8 +34,8 @@ let equal_node : 'a node -> 'a node -> bool = (==) external parse_xml_uri : string -> int -> bool -> bool -> tree = "caml_call_shredder_uri" external parse_xml_string : string -> int -> bool -> bool -> tree = "caml_call_shredder_string" external tree_print_xml_fast3 : tree -> [`Tree ] node -> Unix.file_descr ->unit = "caml_xml_tree_print" -external tree_save : tree -> Unix.file_descr -> unit = "caml_xml_tree_save" -external tree_load : Unix.file_descr -> bool -> int -> tree = "caml_xml_tree_load" +external tree_save : tree -> Unix.file_descr -> string -> unit = "caml_xml_tree_save" +external tree_load : Unix.file_descr -> string -> bool -> int -> tree = "caml_xml_tree_load" external nullt : unit -> 'a node = "caml_xml_tree_nullt" @@ -421,7 +421,7 @@ let save t str = (* we need to move the fd to the correct position *) flush out_c; ignore (Unix.lseek fd (pos_out out_c) Unix.SEEK_SET); - tree_save t.doc fd; + tree_save t.doc fd str; close_out out_c ;; @@ -452,7 +452,7 @@ let load ?(sample=64) ?(load_text=true) str = let _ = Printf.eprintf "\nLoading tag table : " in let ntable = time (load_table) () in ignore(Unix.lseek fd (pos_in in_c) Unix.SEEK_SET); - let tree = { doc = tree_load fd load_text sample; + let tree = { doc = tree_load fd str load_text sample; ttable = ntable;} in close_in in_c; tree