| MatitaEngine.Drop
| CicTextualParser2.Parse_error _ as exn -> raise exn
| exn ->
- MatitaLog.error (Printexc.to_string exn);
+ MatitaLog.error (MatitaExcPp.to_string exn);
raise exn
let fname () =
let pp_ocaml_mode () =
MatitaLog.message "";
- MatitaLog.message " ** Entering Ocaml mode ** ";
+ MatitaLog.message " ** Entering Ocaml mode ** ";
+ MatitaLog.message "";
+ MatitaLog.message "Type 'go ();;' to enter an interactive matitac";
MatitaLog.message ""
let rec go () =
else
let (x, y) = CicAst.loc_of_floc floc in
MatitaLog.error (sprintf "Parse error at %d-%d: %s" x y err);
+ go ()
| exn -> MatitaLog.error (Printexc.to_string exn); go ()
let main ~mode =
begin
MatitaLog.message
(sprintf "execution of %s completed in %s." fname (hou^min^sec));
+ close_out (open_out (MatitaMisc.obj_file_of_script fname));
exit 0
end
with
let (x, y) = CicAst.loc_of_floc floc in
MatitaLog.error (sprintf "Parse error at %d-%d: %s" x y err);
Http_getter.sync_dump_file ();
- exit 1
-
+ if mode = `COMPILER then
+ exit 1
+ else
+ go ()