<!ELEMENT Def %term;>
<!ELEMENT Hidden EMPTY>
<!ELEMENT Goal %term;>
- <!ELEMENT MUTCASE (patternsType,inductiveTerm,pattern* )>
*)
module CicParser =
let xml_parser = P.create_parser callbacks in
ctxt.xml_parser <- Some xml_parser;
try
- P.parse xml_parser (`File filename);
+ P.parse xml_parser (`Gzip_file filename);
(* debug_print (string_of_stack stack);*)
List.hd ctxt.stack
with
| Failure "int_of_string" -> parse_error ctxt "integer number expected"
| Invalid_argument "bool_of_string" -> parse_error ctxt "boolean expected"
+ | P.Parse_error msg -> parse_error ctxt ("parse error: " ^ msg)
| Parser_failure _
| Getter_failure _ as exn ->
raise exn