package ppx_driver

  1. Overview
  2. Docs
Deprecated: use ppxlib instead

Install

Dune Dependency

Authors

Maintainers

Sources

ppx_driver-v0.11.0.tar.gz
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 of ppx_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 on ppx_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.