H. S. Teoh:
IMO the correct solution is for the compiler to insert
preconditions at the calling site,
I have seen this suggestion tens of times, but nothing has
happened. (delegates make the management of contract blame more
compex).
Bye,
bearophile
- Re: assume, assert, enforce, @safe Walter Bright via Digitalmars-d
- Re: assume, assert, enforce, @safe H. S. Teoh via Digitalmars-d
- Re: assume, assert, enforce, @safe Jonathan M Davis via Digitalmars-d
- Re: assume, assert, enforce, @safe Timon Gehr via Digitalmars-d
- Re: assume, assert, enforce, @safe Daniel Murphy via Digitalmars-d
- Re: assume, assert, enforce, @safe bearophile via Digitalmars-d
- Re: assume, assert, enforce, @safe Daniel Murphy via Digitalmars-d
- Re: assume, assert, enforce, @safe bearophile via Digitalmars-d
- Re: assume, assert, enforce, @safe bearophile via Digitalmars-d
- Re: assume, assert, enforce, @safe Daniel Murphy via Digitalmars-d
- Re: assume, assert, enforce, @safe bearophile via Digitalmars-d
- Re: assume, assert, enforce, @safe H. S. Teoh via Digitalmars-d
- Re: assume, assert, enforce, @safe Timon Gehr via Digitalmars-d
- Re: assume, assert, enforce, @safe H. S. Teoh via Digitalmars-d
- Re: assume, assert, enforce, @safe Timon Gehr via Digitalmars-d
- Re: assume, assert, enforce, @safe Walter Bright via Digitalmars-d
- Re: assume, assert, enforce, @safe Jonathan M Davis via Digitalmars-d
- Re: assume, assert, enforce, @safe H. S. Teoh via Digitalmars-d
- Re: assume, assert, enforce, @safe Jonathan M Davis via Digitalmars-d
- Re: assume, assert, enforce, @safe Timon Gehr via Digitalmars-d
- Re: assume, assert, enforce, @safe H. S. Teoh via Digitalmars-d