checkedint call removal

[Timon Gehr via Digitalmars-d]

On 07/29/2014 08:54 PM, "Ola Fosheim =?UTF-8?B?R3LDuHN0YWQi?= 
<ola.fosheim.grostad+dlang at gmail.com>" wrote:
> On Tuesday, 29 July 2014 at 10:40:33 UTC, John Colvin wrote:
>> In a correct program (a necessary but not sufficient condition for
>> which is to not violate it's asserts) it is the same.
>
> Define a correct program.
>
> This is a correct program:
>
> S = full specification ( say in prolog or haskell )

(Prolog and Haskell are not particularly natural languages for 
specification.)