From 725115d4f97b92666c4241f88b4f337f9d07a79f Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 7 Apr 2008 14:59:04 +0000 Subject: [PATCH] added # to comment --- helm/software/components/ng_kernel/check.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/helm/software/components/ng_kernel/check.ml b/helm/software/components/ng_kernel/check.ml index bc3b600fe..68c9ff1ae 100644 --- a/helm/software/components/ng_kernel/check.ml +++ b/helm/software/components/ng_kernel/check.ml @@ -28,6 +28,7 @@ let _ = with _ -> List.rev !r in List.iter (fun uu -> + if uu.[0] = '#' then prerr_endline "SKIP" else begin prerr_endline ("************* INIZIO **************** " ^ uu); let u = UriManager.uri_of_string uu in let _,o = NCicEnvironment.get_obj (NUri.nuri_of_ouri u) in @@ -37,8 +38,10 @@ let _ = with | NCicTypeChecker.AssertFailure s | NCicTypeChecker.TypeCheckerFailure s as e -> +(* prerr_endline ("Obj: " ^ NCicPp.ppobj o); *) prerr_endline (Lazy.force s); raise e | CicEnvironment.Object_not_found s -> - prerr_endline ("Obj not found: " ^ UriManager.string_of_uri s)) + prerr_endline ("Obj not found: " ^ UriManager.string_of_uri s); + end) alluris ;; -- 2.39.2