checkedint call removal

Timon Gehr via Digitalmars-d digitalmars-d at puremagic.com
Wed Jul 30 14:30:57 PDT 2014


On 07/30/2014 11:15 PM, Walter Bright wrote:
> On 7/30/2014 1:45 PM, "Ola Fosheim Grøstad"
> <ola.fosheim.grostad+dlang at gmail.com>" wrote:
>> Can you please read the Hoare article form 1969? This is getting
>> really annoying.
>
> Ironically, your wikipedia entry on Hoare references
> http://en.wikipedia.org/wiki/Assertion_(computing) which is exactly what
> D's assert does.
>

Did you read the article?

http://en.wikipedia.org/wiki/Assertion_%28computing%29#Disabling_assertions

'[...] disabling assertion checking can mean that a program that would 
have aborted will continue to run. This is sometimes preferable.'

This is not what DMD does in -release where assertions are 'disabled'. 
It follows a diametrally opposite philosophy.


More information about the Digitalmars-d mailing list