X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Flextest.ml;h=77701cba884d94c351fa0ffc8a195ef064c10c24;hb=43501e355e50f60c34999cefe9d44e3678dfb056;hp=0c297ca11d4fb27a4d810d2c6bb15cf9a6bc247b;hpb=b29432ae3b0802c9ea002da6b2ef43cc9998c90c;p=SXSI%2Fxpathcomp.git diff --git a/src/lextest.ml b/src/lextest.ml index 0c297ca..77701cb 100644 --- a/src/lextest.ml +++ b/src/lextest.ml @@ -2,7 +2,8 @@ type index -external build_lex_index : Tree.t -> Tag.t -> index = "caml_build_lex_index" +external build_lex_index : Tree.tree_pointer -> Tag.t -> index = "caml_build_lex_index" + external print_lex_index : index -> unit = "caml_print_lex_index" @@ -20,8 +21,9 @@ let main () = else let () = Printf.eprintf "Error: unrecognized extension" in exit 2 in - Printf.printf "Building lex index\n%!"; - let index = build_lex_index document (Tag.tag Sys.argv.(2)) in + Tag.init (Tree.tag_operations document); + Printf.printf "Building lex index for tag %s\n%!" (Tag.to_string (Tag.tag Sys.argv.(2))); + let index = build_lex_index (Tree.get_tree_pointer document) (Tag.tag Sys.argv.(2)) in Printf.printf "Printing lex index\n%!"; print_lex_index index; exit 0