only index if enabled

Author: andrew4328

LM23COMMON/profile-count-ast.lsts

@@ -1,19 +1,25 @@
 
+let config-profile-ast = false;
+
 let profile-count-ast-unique-index = mk-hashtable-is(type(AST), type(U64));
 let profile-count-ast-equal-index = mk-hashtable(type(AST), type(U64));
 
 let profile-visit-ast-unique(t: AST): Nil = (
-   profile-count-ast-unique-index = profile-count-ast-unique-index.bind(
-      t,
-      profile-count-ast-unique-index.lookup(t, 0_u64) + 1
-   );
+   if config-profile-ast then {
+      profile-count-ast-unique-index = profile-count-ast-unique-index.bind(
+         t,
+         profile-count-ast-unique-index.lookup(t, 0_u64) + 1
+      );
+   }
 );
 
 let profile-visit-ast-equal(t: AST): Nil = (
-   profile-count-ast-equal-index = profile-count-ast-equal-index.bind(
-      t,
-      profile-count-ast-equal-index.lookup(t, 0_u64) + 1
-   );
+   if config-profile-ast then {
+      profile-count-ast-equal-index = profile-count-ast-equal-index.bind(
+         t,
+         profile-count-ast-equal-index.lookup(t, 0_u64) + 1
+      );
+   }
 );
 
 let profile-print-ast(): Nil = (

SRC/main.lsts

@@ -27,7 +27,6 @@ let print-toks-json(fp: CString): Nil = (
 );
 
 let show-alloc-count = false;
-let config-profile-ast = false;
 
 let main(argc: C_int, argv: CString[]): Nil = (
    let argi = 1_u64;