added some printings and catched more exceptions

diff --git a/helm/software/components/ng_kernel/check.ml b/helm/software/components/ng_kernel/check.ml
index 39e80cca2cdacf1b930a4f32ad0d0ab7e1fc702d..a1d2a7ccb8453daa682952f0d993eb45641cc9ad 100644 (file)
--- 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
 ;;