assume, assert, enforce, @safe

Timon Gehr via Digitalmars-d digitalmars-d at puremagic.com
Fri Aug 1 17:04:22 PDT 2014


On 08/02/2014 01:52 AM, H. S. Teoh via Digitalmars-d wrote:
> On Sat, Aug 02, 2014 at 01:47:42AM +0200, Timon Gehr via Digitalmars-d wrote:
>> On 08/02/2014 01:03 AM, H. S. Teoh via Digitalmars-d wrote:
>>> Actually, I'm thinking of ways of extending this even further, ...
>>
>> Note that the official stance has been that such things are obviously
>> ridiculous if not checked dynamically in non-release mode.
>
> Nothing stops the compiler in non-release mode from computing the
> expression both ways and comparing them to see if they match.
>
>
> T
>

Side effects. Multiplication of the runtime in non-release builds.

Btw, I don't think one can use == to express those rewrites.


More information about the Digitalmars-d mailing list