X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftest.ml;h=334e57260e2c6d1b7808b334e3a2214657fdfcd6;hb=e80e269c313952b4d427fa6a5a9729ea15e43f39;hp=df5b11274ed9e700d2b537c4e31ef1c80ed6b64e;hpb=8beacdfe24b6e93a7c1a4faee4c5587104f5c1ad;p=tatoo.git diff --git a/src/test.ml b/src/test.ml index df5b112..334e572 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.trans 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