On 4/2/2011 3:27 PM, ulrik.mikaels...@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.
