package ppx_ignore_instrumentation
Ignore Jane Street specific instrumentation extensions
Install
dune-project
Dependency
Authors
Maintainers
Sources
ppx_ignore_instrumentation-v0.15.0.tar.gz
sha256=22441d1be03937f32cb329cd5863fcb2d7d7e3f74bacce73b19bc0fd14a89f02
Description
Ignore Jane Street specific instrumentation extensions from internal PPXs or compiler features not yet upstreamed.
Published: 21 Mar 2022
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