Re: [Caml-list] proposal for finding, loading and composing ppx preprocessors

[Benjamin Canou <benjamin.canou@gmail.com>]

Le 11/07/2014 17:23, Daniel Bünzli a écrit :
> Le vendredi, 11 juillet 2014 à 15:55, Benjamin Canou a écrit :
>> Sure, the annotation mechanism itself is the core of what we propose.
>> The ppx_loader is just a convenience utility to interpret them fully
>> automatically. The tool you propose is another valid way to use them.
>> We'll integrate it into ppx_loader as another option.
> But if I understand correctly ppx_loader selectively applies ppxs on AST subparts (?). If that the case you won't be able to provide matching functionality by simply listing the ppx to use on the command line, which would apply each ppx on the whole file.
True enough. We could force the annotations to be placed at the 
beginning of files. After all, the interest of selectively applying ppxs 
to parts of files is not clear. The responsibility of deciding which 
parts to rewrite probably belongs to each ppx and not ppx_loader.