package ppx_module_timer

You can search for identifiers within the package.

in-package search v0.2.0

Ppx rewriter that records top-level module startup times

Install

Dune Dependency

github.com Readme MIT License Edit opam file Versions (6)

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street developers

Sources

ppx_module_timer-v0.14.0.tar.gz

sha256=bfe829afafcfb535febe2e16cceefcb4efd426b21060922437560e4de6df4711

md5=7ec9de2d5f07a1ceecdbefce0f0dea2c

README.md.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.