Re: OT (partially): about promotion of integers

[Walter Bright]

On 12/12/2012 3:23 PM, Timon Gehr wrote:

It is somewhat similar to (the still quite broken) 'pure' in D,

Broken how?

Provided the code is correct.

No language or compiler can prove code correct.