Re: %name-prefix overrides --name-prefix?

[Paul Eggert]

"Joel E. Denny" <address@hidden> writes:

> Although that logic makes sense to me, Bison doesn't follow it.  Instead, 
> for example, %name-prefix has precedence over --name-prefix.
>
> Which way should Bison behave?

In 'make', command-line FOO=bar has precedence over makefile FOO=bar.

In 'cc', command-line -DFOO=bar has equal precendence with source-file
"#define FOO bar"; that is, if both are specified then they must agree
or a diagnostic is generated.

In 'awk', command-line -v FOO=bar is executed before the
program (and thus las lower precedence than assignments to
FOO in the program), whereas command-line FOO=bar is executed
when it's come across.

So I don't see a clear precedent here.  Also, I don't sense
a strong preference on my own part.

So perhaps we should go the 'cc' route?