"Paul" == Paul Eggert <address@hidden> writes:
> Paolo Bonzini <address@hidden> writes:
>>> Would something similar, of course with documentation and against
>>> mainline rather than 2.0, be ok to apply? The copyright process is
>>> in the works.
> I like the idea, and thanks.
> Akim, what do you think? I vaguely recall you wanted something like
> this but don't recall the details.
Actually it is the converse: I meant to avoid as much as possible any
reference to the output language in the input, because I have yet to
see where it can be useful.