On 07/30/2014 11:15 PM, Walter Bright wrote:
On 7/30/2014 1:45 PM, "Ola Fosheim Grøstad"
<ola.fosheim.grostad+dl...@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.