checkedint call removal

Andrew Godfrey via Digitalmars-d digitalmars-d at puremagic.com
Sat Aug 2 15:00:26 PDT 2014


On Saturday, 2 August 2014 at 21:36:11 UTC, Tobias Pankrath wrote:
> On Saturday, 2 August 2014 at 21:25:40 UTC, Ola Fosheim Grøstad 
> wrote:
>> On Saturday, 2 August 2014 at 20:27:09 UTC, Andrei 
>> Alexandrescu wrote:
>>> Hmmm... code that fails assertions is hardly working. -- 
>>> Andrei
>>
>> It is not the code that fails the assertion, it is the 
>> asserted proposition that has not be satisfied by the axioms 
>> in the program as it has been formulated in the context. It 
>> does not mean "can not be satisfied", but "has not been 
>> satisfied".
>
> Don't you agree, that a program that throws AssertError in non 
> -release* build is broken?
>
> * this is not the opposite of debug

By this definition of 'broken', I assert that most shipped 
software is broken.


More information about the Digitalmars-d mailing list