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 =
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 ()