[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: %name-prefix overrides --name-prefix?
From: |
Paul Eggert |
Subject: |
Re: %name-prefix overrides --name-prefix? |
Date: |
Sat, 09 Dec 2006 21:38:58 -0800 |
User-agent: |
Gnus/5.1008 (Gnus v5.10.8) Emacs/21.4 (gnu/linux) |
"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?
- %name-prefix overrides --name-prefix?, Joel E. Denny, 2006/12/09
- Re: %name-prefix overrides --name-prefix?,
Paul Eggert <=
- Re: %name-prefix overrides --name-prefix?, Hans Aberg, 2006/12/10
- Re: %name-prefix overrides --name-prefix?, Paolo Bonzini, 2006/12/11
- Re: %name-prefix overrides --name-prefix?, Joel E. Denny, 2006/12/12
- Re: %name-prefix overrides --name-prefix?, Hans Aberg, 2006/12/12
- Re: %name-prefix overrides --name-prefix?, Joel E. Denny, 2006/12/12
- Re: %name-prefix overrides --name-prefix?, Hans Aberg, 2006/12/12
- Re: %name-prefix overrides --name-prefix?, Joel E. Denny, 2006/12/14
- Re: %name-prefix overrides --name-prefix?, Hans Aberg, 2006/12/14
- Re: %name-prefix overrides --name-prefix?, Joel E. Denny, 2006/12/14
- Re: %name-prefix overrides --name-prefix?, Hans Aberg, 2006/12/14