[Caml-list] ppx replacement for pa_macro?

[Caml-list] ppx replacement for pa_macro?

[Markus Mottl]

Hi,

it seems that a good chunk of camlp4-based preprocessors has been
translated to ppx.  However, I haven't seen a good (or hopefully even
better) replacement for pa_macro yet.

OCaml is still a bit lacking in the inlining department, e.g. for
partially applied functions where the supplied parameters are known at
compile time.  Until this changes, macro substitutions are my only
option in certain cases if I want to avoid cut&paste or larger
closures, expensive function calls, etc.

I like the pa_macro feature for locally defined macros, but it's a
pity that it doesn't support "higher-order" macros (that can be passed
around), and it's also the last thing that prevents me from fully
switching to ppx.

Any alternatives?  Is anybody working on a more powerful, ppx-based replacement?

Regards,
Markus

-- 
Markus Mottl        http://www.ocaml.info        markus.mottl@gmail.com