[r2004-06-25 13:38:27 by afrisch] Report inconsistent assumptions on .cmi

Original author: afrisch
Date: 2004-06-25 13:38:27+00:00

driver/cduce.ml

@@ -294,13 +294,19 @@ ifdef ML_INTERFACE then
       String.set fnam 0 ( Char.lowercase ( String.get fnam 0 ) );
     in
     let cmi_found file = 
-      let ml_cu = ML.CompUnit.from_bytecode file cu
-      and cd_cu = Ml_cduce.CompUnit.from_types_cu cu id in
-      Ml_checker.run ml_cu cd_cu;
-      let out = open_out ( Filename.concat out_dir (fnam ^ ".ml") ) in
-      let fmt = Format.formatter_of_out_channel out in
-      Ml_generator.ML.generate fmt fnam ml_cu cd_cu;
-      close_out out 
+      try
+	let ml_cu = ML.CompUnit.from_bytecode file cu
+	and cd_cu = Ml_cduce.CompUnit.from_types_cu cu id in
+	Ml_checker.run ml_cu cd_cu;
+	let out = open_out ( Filename.concat out_dir (fnam ^ ".ml") ) in
+	let fmt = Format.formatter_of_out_channel out in
+	Ml_generator.ML.generate fmt fnam ml_cu cd_cu;
+	close_out out 
+      with
+	  OCaml_all.Env.Error e -> 
+	    OCaml_all.Env.report_error Format.err_formatter e;
+	    exit 1
+	    
     in
     let name = fnam ^ ".cmi" in
     let file =