From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 7 Apr 2008 21:27:48 +0000 (+0000)
Subject: Reports improved.
X-Git-Tag: make_still_working~5415
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bc698deb9b8416c2b903b78a6053d59f6cc2a8ec;p=helm.git

Reports improved.
---

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)
 ;;