[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: |
Alex Rozenman |
Subject: |
Re: [PATCH] Do not allow identifiers that start with a negative number. |
Date: |
Thu, 6 Jan 2011 17:02:10 +0200 |
Hi Joel,
I will add a test-case.
Regarding the documentation, I am not sure that we need to document this. It
looks like a regular bug fix.
It is a common sense that identifiers can not start from numbers.
Alex
P.S. Or you meant other changes in documentation ?
On Thu, Jan 6, 2011 at 1:38 AM, Joel E. Denny <address@hidden>wrote:
> 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?
>
--
Best regards,
Alex Rozenman (address@hidden).
- [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, 2011/01/05
- Re: [PATCH] Do not allow identifiers that start with a negative number.,
Alex Rozenman <=
- 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
- Re: [PATCH] Do not allow identifiers that start with a negative number., Hans Aberg, 2011/01/08