package ppx_module_timer

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

Install 

dune-project
 Dependency

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

Authors

  1. J
    Jane Street Group, LLC

Maintainers

  1. J
    Jane Street developers

Sources

ppx_module_timer-v0.13.0.tar.gz
sha256=49938df7e0f0c0b2f55704afa467d6343852f8592257dccc7f3541a92eb9bcea
md5=b0765d8807f2f7402e5e0c822037ce02

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.