From cdbdd1610eec11df04e6b8484f9942f45e0403f0 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 4 Apr 2008 13:07:36 +0000 Subject: [PATCH] added some printings and catched more exceptions --- helm/software/components/ng_kernel/check.ml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/helm/software/components/ng_kernel/check.ml b/helm/software/components/ng_kernel/check.ml index 39e80cca2..a1d2a7ccb 100644 --- a/helm/software/components/ng_kernel/check.ml +++ b/helm/software/components/ng_kernel/check.ml @@ -11,10 +11,13 @@ let _ = let o, _ = CicEnvironment.get_obj CicUniv.oblivion_ugraph u in let l = OCic2NCic.convert_obj u o in List.iter - (fun o -> + (fun (u,_,_,_,_ as o) -> + prerr_endline ("CHECK: " ^ NUri.string_of_uri u); try NCicTypeChecker.typecheck_obj o with | NCicTypeChecker.AssertFailure s - | NCicTypeChecker.TypeCheckerFailure s -> prerr_endline (Lazy.force s)) + | NCicTypeChecker.TypeCheckerFailure s -> prerr_endline (Lazy.force s) + (*| CicEnvironment.Object_not_found s -> + prerr_endline ("Obj not found: " ^ UriManager.string_of_uri s)*)) l ;; -- 2.39.2