ppx_driver

Deprecated: use ppxlib instead
Legend:
Library
Module
Module type
Parameter
Class
Class type
Manual
  • 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.