From bc698deb9b8416c2b903b78a6053d59f6cc2a8ec Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 7 Apr 2008 21:27:48 +0000 Subject: [PATCH] Reports improved. --- helm/software/components/ng_kernel/check.ml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/helm/software/components/ng_kernel/check.ml b/helm/software/components/ng_kernel/check.ml index 918a4ddb3..d2f546122 100644 --- a/helm/software/components/ng_kernel/check.ml +++ b/helm/software/components/ng_kernel/check.ml @@ -48,9 +48,10 @@ let _ = | CicEnvironment.Object_not_found s -> prerr_endline ("Obj not found: " ^ UriManager.string_of_uri s); ) - alluris; + alluris; NCicEnvironment.invalidate (); Gc.compact (); + prerr_endline "typechecking, first with the new and then with the old kernel"; let prima = Unix.gettimeofday () in List.iter (fun u -> NCicTypeChecker.typecheck_obj (snd (NCicEnvironment.get_obj u))) @@ -58,7 +59,7 @@ let _ = let dopo = Unix.gettimeofday () in Gc.compact (); let dopo2 = Unix.gettimeofday () in - Printf.eprintf "NEW typing: %3.2f, gc: %3.2f\n" (dopo -. prima) (dopo2 -. dopo); + Printf.eprintf "NEW typing: %3.2f, gc: %3.2f\n%!" (dopo -. prima) (dopo2 -. dopo); CicEnvironment.invalidate (); let alluris = List.map NUri.ouri_of_nuri alluris in Gc.compact (); @@ -67,5 +68,5 @@ let _ = let dopo = Unix.gettimeofday () in Gc.compact (); let dopo2 = Unix.gettimeofday () in - Printf.eprintf "OLD typing: %3.2f, gc: %3.2f\n" (dopo -. prima) (dopo2 -. dopo) + Printf.eprintf "OLD typing: %3.2f, gc: %3.2f\n%!" (dopo -. prima) (dopo2 -. dopo) ;; -- 2.39.2