Akim Demaille wrote: >>>> "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.
Well, since the actions are written in the target language, and bison supports multiple languages, it makes sense to have a %language directive, imho. Ideally skeletons should be required to declare their language, so that using "--skeleton lalr1.cc" or "--skeleton my-erlang-parser.skeleton" on a grammar with "%language java" would produce a bison-time warning/error.
