checkedint call removal

Tobias Pankrath via Digitalmars-d digitalmars-d at puremagic.com
Sat Aug 2 14:36:10 PDT 2014


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


More information about the Digitalmars-d mailing list