let parse_stdin (print_tokens:bool):Xml.xml =
let input : string = In_channel.input_all stdin in
try
let lexbuf = Lexing.from_string input in
let parse = Xml_right_parser.main (lexer print_tokens) in
parse lexbuf
with
|_ ->
let _ = IO.print_to_stderr ("Xml_right failed, read the following tokens from standard input:") in
let print_tokens = true in
let lexbuf = Lexing.from_string input in
let parse = Xml_right_parser.main (lexer print_tokens) in
parse lexbuf