From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 20 Sep 2005 16:50:37 +0000 (+0000)
Subject: More profiling code added.
X-Git-Tag: LAST_BEFORE_NEW~75
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f2cda8d3c554ceafb87198ea4cd223242fe67c94;p=helm.git

More profiling code added.
---

diff --git a/helm/matita/matitaSync.ml b/helm/matita/matitaSync.ml
index 84d107f30..5dc3e2d24 100644
--- a/helm/matita/matitaSync.ml
+++ b/helm/matita/matitaSync.ml
@@ -110,6 +110,11 @@ let paths_and_uris_of_obj uri status =
   let xmlbodypath = basedir ^ "/" ^  xmlbodyfilename in
   xmlpath, xmlbodypath, innertypespath, bodyuri, innertypesuri
 
+let acic_object_of_cic_object =
+ let profiler = CicUtil.profile "add_obj.save_object_to_disk.acic_object_of_cic_object" in
+  fun ~eta_fix obj ->
+   profiler.CicUtil.profile (Cic2acic.acic_object_of_cic_object ~eta_fix) obj
+
 let save_object_to_disk status uri obj =
   let ensure_path_exists path =
     let dir = Filename.dirname path in
@@ -117,7 +122,7 @@ let save_object_to_disk status uri obj =
   in
   (* generate annobj, ids_to_inner_sorts and ids_to_inner_types *)
   let annobj,_,_,ids_to_inner_sorts,ids_to_inner_types,_,_ =
-    Cic2acic.acic_object_of_cic_object ~eta_fix:false obj
+    acic_object_of_cic_object ~eta_fix:false obj
   in 
   (* prepare XML *)
   let xml, bodyxml =