package ppx_driver
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=3cda1f5ed3bb6da9c237bc3c333826bab8e8834bd8c903d45875f34b493f610e
md5=706cda8f743dd8b81aaa87f7261af252
CHANGES.md.html
v0.11
Change
ppx_driver
so that when-diff-cmd -
is passed, they write the .corrected file but don't diff it or exit with a non-zero exit code.This is to make
[@@deriving_inline ...]
work with jbuilder. Jbuilder uses a separate build tree, so the current behavior ofppx_driving
doesn't work well with jbuilder, especially the in-place behavior.What is done instead in jbuilder is that after running the ppx driver, it checks whether a .corrected file was created. If yes, jbuilder does the diffing itself, and by default also replaces the source file by the correction.'
ppx_optcomp
is not linked by default anymore, people who want to keep using it will need to explicitely depend onppx_optcomp_old
.Rewriters can now register corrections using the
register_correction
function.Add a mechanism to allow rewriters to pass information gathered during the rewriting to the build system. A rewriter can now register a File property that will be dumped by the driver when using
-output-metadata FILE
113.43.00
Update for the new context free API
113.24.00
Disable safety check when code transformations are used as standard "-ppx" rewriters.
Introduce reserved namespaces, see
Ppx_core
's changelog.Pass errors as attribute with -dparsetree to avoid "Error while running external preprocessor".
Update to follow
Ppx_core
evolution.