given to process used to result in entering the ocaml mode. Now the user is
left in the matita mode.
else
let (x, y) = CicAst.loc_of_floc floc in
MatitaLog.error (sprintf "Parse error at %d-%d: %s" x y err);
else
let (x, y) = CicAst.loc_of_floc floc in
MatitaLog.error (sprintf "Parse error at %d-%d: %s" x y err);
| exn -> MatitaLog.error (Printexc.to_string exn); go ()
let main ~mode =
| exn -> MatitaLog.error (Printexc.to_string exn); go ()
let main ~mode =
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 ();
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 ();
+ if mode = `COMPILER then
+ exit 1
+ else
+ go ()