Re: Parser extension points for plug-ins

[Ludovic Courtès]

l...@gnu.org (Ludovic Courtès) writes:

> I think it may be useful to allow plug-ins to process, e.g., #pragmas.

Of course soon after posting I noticed ‘PLUGIN_PRAGMAS’...

Sorry for the noise,
Ludo’.