Re: checkedint call removal

[Timon Gehr via Digitalmars-d]

On 07/29/2014 08:54 PM, "Ola Fosheim =?UTF-8?B?R3LDuHN0YWQi?= 
<ola.fosheim.grostad+dl...@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.)