>>> "Paul" == Paul Eggert <[EMAIL PROTECTED]> writes:
> Paolo Bonzini <[EMAIL PROTECTED]> 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.
