print the excpetion and raise it again, seems to produce a reasonable backtrace

diff --git a/helm/software/components/ng_kernel/check.ml b/helm/software/components/ng_kernel/check.ml
index a54890285c0f73b32a889bb3e04ff673bca25d9c..8aae86b89d5158c2c2147b9d3dda154ae81a3f6e 100644 (file)
--- a/helm/software/components/ng_kernel/check.ml
+++ b/helm/software/components/ng_kernel/check.ml
@@ -12,7 +12,8 @@ let _ =
   try NCicTypeChecker.typecheck_obj o
   with 
   | NCicTypeChecker.AssertFailure s 
-  | NCicTypeChecker.TypeCheckerFailure s -> prerr_endline (Lazy.force s)
+  | NCicTypeChecker.TypeCheckerFailure s as e -> 
+     prerr_endline (Lazy.force s); raise e
   | CicEnvironment.Object_not_found s -> 
       prerr_endline ("Obj not found: " ^ UriManager.string_of_uri s)
 ;;