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