From f2cda8d3c554ceafb87198ea4cd223242fe67c94 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 20 Sep 2005 16:50:37 +0000 Subject: [PATCH] More profiling code added. --- helm/matita/matitaSync.ml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) 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 = -- 2.39.2