package ppx_module_timer

  1. Overview
  2. Docs
Ppx rewriter that records top-level module startup times

Install

dune-project
 Dependency

Authors

Maintainers

Sources

v0.17.0.tar.gz
sha256=fcc39a8623f7c4e1bb40ce6ed5e9af596938f88f5718f01417ed39b11fc5e264

doc/README.html

ppx_module_timer

A ppx extension to record module startup times.

Modules using ppx_module_timer (included in ppx_jane_kernel) 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.