new message reporting system improves performance significatively

[helm.git] / helm / software / helena / src / complete_rg / crgOutput.ml

diff --git a/helm/software/helena/src/complete_rg/crgOutput.ml b/helm/software/helena/src/complete_rg/crgOutput.ml
index 072073c18538793318798c13c08923db68b9e904..49acbb49bbd421594510bff97bdc9e2c74b610a0 100644 (file)
--- a/helm/software/helena/src/complete_rg/crgOutput.ml
+++ b/helm/software/helena/src/complete_rg/crgOutput.ml
@@ -20,6 +20,8 @@ module D = Crg
 
 (* nodes count **************************************************************)
 
+let level = 2
+
 type counters = {
    eabsts: int;
    eabbrs: int;
@@ -118,20 +120,20 @@ let print_counters f c =
    in
    let items = c.eabsts + c.eabbrs in
    let nodes = c.nodes + c.xnodes in
-   L.warn (P.sprintf "  Intermediate representation summary (crg)");
-   L.warn (P.sprintf "    Total entry items:        %7u" items);
-   L.warn (P.sprintf "      Declaration items:      %7u" c.eabsts);
-   L.warn (P.sprintf "      Definition items:       %7u" c.eabbrs);
-   L.warn (P.sprintf "    Total term items:         %7u" terms);
-   L.warn (P.sprintf "      Sort items:             %7u" c.tsorts);
-   L.warn (P.sprintf "      Local reference items:  %7u" c.tlrefs);
-   L.warn (P.sprintf "      Global reference items: %7u" c.tgrefs);
-   L.warn (P.sprintf "      Explicit Cast items:    %7u" c.tcasts);
-   L.warn (P.sprintf "      Application items:      %7u" c.tappls);
-   L.warn (P.sprintf "      Abstraction items:      %7u" c.tabsts);
-   L.warn (P.sprintf "      Abbreviation items:     %7u" c.tabbrs);
-   L.warn (P.sprintf "    Global Int. Complexity:   %7u" c.nodes);
-   L.warn (P.sprintf "      + Abbreviation nodes:   %7u" nodes);
+   L.warn level (P.sprintf "Intermediate representation summary (complete_rg)");
+   L.warn level (P.sprintf "  Total entry items:        %7u" items);
+   L.warn level (P.sprintf "    Declaration items:      %7u" c.eabsts);
+   L.warn level (P.sprintf "    Definition items:       %7u" c.eabbrs);
+   L.warn level (P.sprintf "  Total term items:         %7u" terms);
+   L.warn level (P.sprintf "    Sort items:             %7u" c.tsorts);
+   L.warn level (P.sprintf "    Local reference items:  %7u" c.tlrefs);
+   L.warn level (P.sprintf "    Global reference items: %7u" c.tgrefs);
+   L.warn level (P.sprintf "    Explicit Cast items:    %7u" c.tcasts);
+   L.warn level (P.sprintf "    Application items:      %7u" c.tappls);
+   L.warn level (P.sprintf "    Abstraction items:      %7u" c.tabsts);
+   L.warn level (P.sprintf "    Abbreviation items:     %7u" c.tabbrs);
+   L.warn level (P.sprintf "  Global Int. Complexity:   %7u" c.nodes);
+   L.warn level (P.sprintf "    + Abbreviation nodes:   %7u" nodes);
    f ()
 
 (* term/environment pretty printer ******************************************)