[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Do not allow identifiers that start with a negative number.
From: |
Joel E. Denny |
Subject: |
Re: [PATCH] Do not allow identifiers that start with a negative number. |
Date: |
Wed, 5 Jan 2011 18:38:55 -0500 (EST) |
User-agent: |
Alpine 2.00 (DEB 1167 2008-08-23) |
Hi Alex,
On Wed, 5 Jan 2011, Alex Rozenman wrote:
> Author: Alex Rozenman <address@hidden>
> Date: Wed Jan 5 15:47:25 2011 +0200
>
> Do not allow identifiers that start with a negative number.
>
> Reported by Paul Hilfinger as a side effect of named references
> support at
> <http://lists.gnu.org/archive/html/bug-bison/2011-01/msg00000.html>.
> Suggested by Paul Eggert.
> * src/scan-code.l ({letter}, {id}): Adjust lexical definitions.
> * src/scan-gram.l ({letter}, {id}): Likewise.
Thanks for taking care of this. If you have some time, could you add a
test case, update the manual, and update NEWS for 2.5?
- [PATCH] Do not allow identifiers that start with a negative number., Alex Rozenman, 2011/01/05
- Re: [PATCH] Do not allow identifiers that start with a negative number.,
Joel E. Denny <=
- Re: [PATCH] Do not allow identifiers that start with a negative number., Alex Rozenman, 2011/01/06
- Re: [PATCH] Do not allow identifiers that start with a negative number., Joel E. Denny, 2011/01/06
- Re: [PATCH] Do not allow identifiers that start with a negative number., Joel E. Denny, 2011/01/08
- Re: [PATCH] Do not allow identifiers that start with a negative number., Paul Eggert, 2011/01/08
- Re: [PATCH] Do not allow identifiers that start with a negative number., Joel E. Denny, 2011/01/08
- Re: [PATCH] Do not allow identifiers that start with a negative number., Paul Eggert, 2011/01/08
- Re: [PATCH] Do not allow identifiers that start with a negative number., Paul Eggert, 2011/01/08
- Re: [PATCH] Do not allow identifiers that start with a negative number., Joel E. Denny, 2011/01/08
- Re: [PATCH] Do not allow identifiers that start with a negative number., Joel E. Denny, 2011/01/08
- Re: [PATCH] Do not allow identifiers that start with a negative number., Paul Eggert, 2011/01/08