X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2FxPath.ml;h=7ebc13558772d2eaca02d932a78999f142644b66;hp=cb3393f4b53febddbcd1334ffdb82e61b9050357;hb=e2dce9a8858c17d907ddecc34cd939905a73f0cc;hpb=af288936a2ee49bace0f1070ef9c6e81e9ea6fce 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