Re: [RFC] %language declaration

[Akim Demaille]

>>> "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.