The compiler Compile_Statistics api defines access to the compiler infrastructure for creating, maintaining, aggregating and reporting counts of various compile-related events.
The Compile_Statistics api is implemented by the compile_statistics package.
The Compile_Statistics api source code is in src/lib/compiler/front/basics/stats/compile-statistics.api.
The above information is manually maintained and may contain errors.
api { Counterssum ;
Counter ;
make_counter : List(Counter ) -> Counter;
get_counter_value : Counter -> Int;
increment_counter_by : Counter -> Int -> Void;
make_counterssum : (String , List(Counter )) -> Counterssum;
compute_sum_of_counters : Counterssum -> Int;
note_counterssum : Counterssum -> Void;
make_counterssum' : String -> Counterssum;
increment_counterssum_by : Counterssum -> Int -> Void;
Compiler_Phase ;
make_compiler_phase : String -> Compiler_Phase;
do_compiler_phase : Compiler_Phase -> (X -> Y) -> X -> Y;
keep_time : Ref(Bool );
approx_time : Ref(Bool );
say_begin : Ref(Bool );
say_end : Ref(Bool );
say_when_nonzero : Ref(Bool );
summary : Void -> Void;
summary_sp : Void -> Void;
reset : Void -> Void;
};