assert semantic change proposal

Timon Gehr via Digitalmars-d digitalmars-d at puremagic.com
Wed Aug 6 14:33:34 PDT 2014


On 08/06/2014 11:18 PM, Matthias Bentrup wrote:
>
> Ah, I had a different understanding of assume, i.e. placing an
> assume(A) at some point in code adds not the axiom A, but rather
> the axiom "control flow reaches this spot => A".

(Your understanding is the conventional one.)


More information about the Digitalmars-d mailing list