package ppx_ignore_instrumentation
Ignore Jane Street specific instrumentation extensions
Install
Dune Dependency
Authors
Maintainers
Sources
ppx_ignore_instrumentation-v0.16.0.tar.gz
sha256=522f50ef213300812658b5ea260299c072c24130502bde7e4f74eeda4c709305
Description
Ignore Jane Street specific instrumentation extensions from internal PPXs or compiler features not yet upstreamed.
Published: 02 Jun 2023
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