package ppx_ignore_instrumentation
Ignore Jane Street specific instrumentation extensions
Install
Dune Dependency
Authors
Maintainers
Sources
v0.17.0.tar.gz
sha256=529aa92cc08a2ccb76fa361326fa7d4bbdfa2a7489c4f1c3a295658d3c758311
Description
Ignore Jane Street specific instrumentation extensions from internal PPXs or compiler features not yet upstreamed.
Published: 23 May 2024
README
ppx_ignore_instrumentation
A PPX that removes the AST nodes for instrumentation extensions, like [%probe], which are currently internal to Jane Street.
Instrumentation extensions don't have semantic effects during normal execution so are safe to ignore.
On This Page