X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2FxPath.ml;h=7ebc13558772d2eaca02d932a78999f142644b66;hb=f4eb8149f6cdec4f56c4947690e0aa8ce2ff17c2;hp=cb3393f4b53febddbcd1334ffdb82e61b9050357;hpb=cba2938d929fd5119b1491686ddc224d5af618c6;p=tatoo.git diff --git a/src/xPath.ml b/src/xPath.ml index cb3393f..7ebc135 100644 --- a/src/xPath.ml +++ b/src/xPath.ml @@ -366,6 +366,9 @@ END *) - let parse = Gram.parse_string query (Ulexer.Loc.mk "") + let parse_string = Gram.parse_string query (Ulexer.Loc.mk "") + let parse_file fd = parse_string (input_line fd) + end -let parse = Parser.parse +let parse_string = Parser.parse_string +let parse_file = Parser.parse_file