package ppxlib
Standard infrastructure for ppx rewriters
Install
Dune Dependency
Authors
Maintainers
Sources
757f6c284b1fe748d5027eef3bbef924b6bbd7ce.tar.gz
sha256=89a98c95ddd0bfbac17b5a936f6811af7097be3258c482d5859b73e9de9b4552
sha512=b19306473d867252d382e58e9b697531c5edccdc9283b5eaf72f524803c2fca2a58a5e8f25bee198b00de82cf8ef805b43f7488791c3ac5beb0ffba938ded826
doc/ppxlib/Ppxlib/Expansion_helpers/Quoter/index.html
Module Expansion_helpers.QuoterSource
Generate expressions in a hygienic way.
The idea is that whenever we want to refer to an expression in generated code we first quote it. The result will be an identifier that is guaranteed to refer to the expression it was created from. This way it is impossible for quoted fragments to refer to newly introduced expressions.
For more information, see the section on quoting in the good practices section.
Creates a quoter. A quoter guarantees to give names that do not clash with any other names used before
quote t e returns the expression that is safe to use in place of e in generated code
Source
val sanitize :
t ->
Astlib.Ast_502.Parsetree.expression ->
Astlib.Ast_502.Parsetree.expressionsanitize t e Returns e wrapped with bindings for all quoted expressions in the quoter t