X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Ftest.ml;h=8b69fd82a32850957390a973c6a0709622b915c4;hp=df5b11274ed9e700d2b537c4e31ef1c80ed6b64e;hb=5a9c2accf1b54294cd71b90ca5cca5f69ac8e76e;hpb=8beacdfe24b6e93a7c1a4faee4c5587104f5c1ad diff --git a/src/test.ml b/src/test.ml index df5b112..8b69fd8 100644 --- a/src/test.ml +++ b/src/test.ml @@ -19,11 +19,6 @@ only the first line of XPath_querie_file is read *) -module F = Formula -module G = Asta - -(* to force ocaml build to add Formula to the dependency chain even if - we don't use it yet*) let doc = let fd = open_in Sys.argv.(1) in @@ -42,8 +37,11 @@ let query = open Format +let asta = Compil.trad query + let () = fprintf err_formatter "Query: %a\n%!" XPath.Ast.print query; + fprintf err_formatter "Asta: %a\n%!" Asta.print asta; fprintf err_formatter "Document:\n%!"; Tree.print_xml stderr doc (Tree.root doc); exit 0