[wg-camlp4] Reconciling Merlin and ppx

Alain Frisch alain.frisch at lexifi.com
Mon Nov 4 13:25:19 GMT 2013


On 11/04/2013 02:02 PM, Frédéric Bour wrote:
> − the transformer relies on some global state, that has to be threaded
> across different invocations.

This will indeed be the case for some transformers -- think about a 
macro system with macros defined in the same unit.

But if you use the same representation as the compiler for the AST, 
couldn't you simply apply the transformers to the whole AST?  Why do you 
need to apply them to individual chunks?


Alain


More information about the wg-camlp4 mailing list