+ )
+ alluris;
+ NCicEnvironment.invalidate ();
+ Gc.compact ();
+ let prima = Unix.gettimeofday () in
+ List.iter
+ (fun u -> NCicTypeChecker.typecheck_obj (snd (NCicEnvironment.get_obj u)))
+ alluris;
+ 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);
+ CicEnvironment.invalidate ();
+ let alluris = List.map NUri.ouri_of_nuri alluris in
+ Gc.compact ();
+ let prima = Unix.gettimeofday () in
+ List.iter (fun u -> ignore (CicTypeChecker.typecheck u)) alluris;
+ 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)