From 2c4b1dbd4de1ae46da243b1adb9df2654bd0fb51 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 29 Jun 2005 14:34:20 +0000 Subject: [PATCH] A few bug fixes. In particular parsing errors in matitatop when a file is given to process used to result in entering the ocaml mode. Now the user is left in the matita mode. --- helm/matita/matitacLib.ml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/helm/matita/matitacLib.ml b/helm/matita/matitacLib.ml index 1baa34910..d57d211e2 100644 --- a/helm/matita/matitacLib.ml +++ b/helm/matita/matitacLib.ml @@ -98,6 +98,7 @@ 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 = @@ -153,5 +154,7 @@ 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 () -- 2.39.2