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.