[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: |
Akim Demaille |
Subject: |
Re: [PATCH] Do not allow identifiers that start with a negative number. |
Date: |
Wed, 26 Jan 2011 17:11:47 +0100 |
Le 15 janv. 2011 à 22:50, Joel E. Denny a écrit :
Hi all,
Sorry, it took so long before I read this.
> Sorry, my opinion is that your patch does more harm than good and should
> be backed out. However, I would very much like for Alex and Akim to give
> their opinions.
I subscribe to this opinion. There was many long threads about how the
messages should be, and it's a bit disturbing to see all this disappear
suddenly :( Alex put significant efforts into them.
- Re: [PATCH] Do not allow identifiers that start with a negative number., (continued)
- Re: [PATCH] Do not allow identifiers that start with a negative number., Paul Eggert, 2011/01/18
- Re: [PATCH] Do not allow identifiers that start with a negative number., Alex Rozenman, 2011/01/19
- Re: [PATCH] Do not allow identifiers that start with a negative number., Paul Eggert, 2011/01/20
- Re: [PATCH] Do not allow identifiers that start with a negative number., Joel E. Denny, 2011/01/24
- Re: [PATCH] Do not allow identifiers that start with a negative number., Paul Eggert, 2011/01/25
- Re: [PATCH] Do not allow identifiers that start with a negative number., Joel E. Denny, 2011/01/25
- Re: [PATCH] Do not allow identifiers that start with a negative number., Paul Eggert, 2011/01/25
- Re: [PATCH] Do not allow identifiers that start with a negative number., Joel E. Denny, 2011/01/25
- Re: [PATCH] Do not allow identifiers that start with a negative number., Akim Demaille, 2011/01/26
- Re: [PATCH] Do not allow identifiers that start with a negative number., Akim Demaille, 2011/01/26
- Re: [PATCH] Do not allow identifiers that start with a negative number.,
Akim Demaille <=
- Re: [PATCH] Do not allow identifiers that start with a negative number., Akim Demaille, 2011/01/26
- Re: [PATCH] Do not allow identifiers that start with a negative number., Joel E. Denny, 2011/01/27
- Re: [PATCH] Do not allow identifiers that start with a negative number., Joel E. Denny, 2011/01/29
- Re: [PATCH] Do not allow identifiers that start with a negative number., Alex Rozenman, 2011/01/26