assume, assert, enforce, @safe

[H. S. Teoh via Digitalmars-d]

On Thu, Jul 31, 2014 at 03:43:48PM -0300, Ary Borenszweig via Digitalmars-d wrote:
> On 7/31/14, 4:37 AM, Walter Bright wrote:
> >On 7/30/2014 4:05 PM, Ary Borenszweig wrote:
> >>On 7/30/14, 7:01 PM, Walter Bright wrote:
> >>>I'd like to sum up my position and intent on all this.
> >>>
> >>>7. using enforce() to check for program bugs is utterly wrong.
> >>>enforce() is a library creation, the core language does not
> >>>recognize it.
> >>
> >>What do you suggest to use to check program bugs?
> >
> >assert()
> 
> Then you are potentially releasing programs with bugs that are of
> undefined behavior, instead of halting the program immediately.

Isn't that already what you're doing with the current behaviour of
assert? Not only in D, but also in C/C++.


T

-- 
When solving a problem, take care that you do not become part of the problem.