Is the world coming to an end?

[Walter Bright]

On 4/3/2011 2:33 AM, KennyTM~ wrote:
> On Apr 3, 11 07:50, Walter Bright wrote:
>> 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.
>
> Will it be part of the spec that 0+[0-7] will work, and the rest of 0\d+ won't?
> Or is this considered just a DMD extension?

It should be part of the spec.