package ppx_module_timer
Ppx rewriter that records top-level module startup times
Install
Dune Dependency
Authors
Maintainers
Sources
ppx_module_timer-v0.12.0.tar.gz
sha256=32b90c4b49abbc71463d01928fe731319cdd452f89e59ed3e8cb6ebad168cf43
md5=16262567123c81beeadaa884e53722bd
Description
Part of the Jane Street's PPX rewriters collection.
Published: 01 Mar 2019
README
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.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page