Is the world coming to an end?

[Daniel Gibson]

Am 03.04.2011 01:50, schrieb Walter Bright:
> On 4/2/2011 3:27 PM, ulrik.mikaelsson at gmail.com wrote:
>> As I wrote, I think it's great that 010 != 8 anymore.
> 
> 010, etc., will now be errors. They will not be 10 decimal.
> 
> Also, the literals 00, 01, ..., 07 will still be accepted without complaint. 08,
> 09, etc. will of course be errors.

That feels pretty inconsistent.

Cheers,
- Daniel