Skip to content

janestreet/ppx_module_timer

Repository files navigation

ppx_module_timer

A ppx extension to record module startup times.

Modules using ppx_module_timer (included in ppx_jane) now have instrumentation to record their startup time. If the environment variable PPX_MODULE_TIMER is set (to anything), each module records its startup time, and before exiting the process prints out all of the module times in the order they occurred.

If a file contains [@@@ppx_module_timer.pay_overhead_to_time_individual_definitions], the individual definitions will be timed in that file (at the cost of some minor extra overhead.)

If PPX_MODULE_TIMER_PAY_OVERHEAD_TO_TIME_INDIVIDUAL_DEFINITIONS=true is passed as a build env variable, then individual definitions will be timed across all files.

About

Ppx rewriter that records top-level module startup times

Resources

License

Contributing

Stars

Watchers

Forks

Packages

 
 
 

Contributors