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