(* $Id$ *)
let debug = true
-let ignore_exc = true
-let ignore_exc_new_typing = true
+let ignore_exc = false
let rank_all_dependencies = false
let trust_environment = false
(fun u ->
let u= OCic2NCic.nuri_of_ouri u in
indent := 0;
- try NCicTypeChecker.typecheck_obj (NCicLibrary.get_obj u)
- with
- | NCicTypeChecker.AssertFailure s
- | NCicTypeChecker.TypeCheckerFailure s
- | NCicEnvironment.ObjectNotFound s
- | NCicEnvironment.BadDependency s as e ->
- prerr_endline ("######### " ^ Lazy.force s);
- if not ignore_exc_new_typing then raise e)
+ NCicTypeChecker.typecheck_obj (NCicLibrary.get_obj u))
alluris;
let dopo = Unix.gettimeofday () in
Gc.compact ();