src/Pure/Syntax/ast.ML
changeset 56438 7f6b2634d853
parent 52175 626a757d3c2d
child 62663 bea354f6ff21
equal deleted inserted replaced
56437:b14bd153a753 56438:7f6b2634d853
   162   end;
   162   end;
   163 
   163 
   164 
   164 
   165 (* normalize *)
   165 (* normalize *)
   166 
   166 
   167 val trace_raw = Config.declare "syntax_ast_trace" (fn _ => Config.Bool false);
   167 val trace_raw = Config.declare ("syntax_ast_trace", @{here}) (fn _ => Config.Bool false);
   168 val trace = Config.bool trace_raw;
   168 val trace = Config.bool trace_raw;
   169 
   169 
   170 val stats_raw = Config.declare "syntax_ast_stats" (fn _ => Config.Bool false);
   170 val stats_raw = Config.declare ("syntax_ast_stats", @{here}) (fn _ => Config.Bool false);
   171 val stats = Config.bool stats_raw;
   171 val stats = Config.bool stats_raw;
   172 
   172 
   173 fun message head body =
   173 fun message head body =
   174   Pretty.string_of (Pretty.block [Pretty.str head, Pretty.brk 1, body]);
   174   Pretty.string_of (Pretty.block [Pretty.str head, Pretty.brk 1, body]);
   175 
   175