prerr_endline ("------- " ^ UriManager.string_of_uri u);
prerr_endline (CicPp.ppobj o);
try CicTypeChecker.typecheck_obj u o
- with CicTypeChecker.TypeCheckerFailure s ->
- prerr_endline (Lazy.force s))
+ with
+ CicTypeChecker.TypeCheckerFailure s
+ | CicTypeChecker.AssertFailure s ->
+ prerr_endline (Lazy.force s)
+ | CicEnvironment.Object_not_found uri ->
+ prerr_endline
+ ("CicEnvironment: Object not found " ^ UriManager.string_of_uri uri))
objs;
;;