Another idiom I wish were gone from phobos/druntime

Zach the Mystic via Digitalmars-d digitalmars-d at puremagic.com
Thu Feb 5 08:28:47 PST 2015


On Thursday, 5 February 2015 at 05:48:43 UTC, bearophile wrote:
> Zach the Mystic:
>
>> I have an idea. Treat all assert statements which come before 
>> the first non-assert statement as part of the 'in' contract. 
>> I'm not saying the compiler has to generate a whole 'in' 
>> function, but these asserts can be internally tagged to behave 
>> *as if* in an 'in' contract. That solves the tooling problem 
>> and the too-much-code problem, no?
>
> Bad idea. We had DbC, let's start using it.
>
> Bye,
> bearophile

My proposal is just effectively syntax sugar for DbC, which the 
average programmer (not you!) will actually want to use.


More information about the Digitalmars-d mailing list