Re: DIP 1009--Improve Contract Usability--Preliminary Review Round 2 Begins

[aberba via Digitalmars-d]

On Friday, 21 July 2017 at 13:51:05 UTC, Mike Parker wrote:

DIP 1009 is titled "Improve Contract Usability".

https://github.com/dlang/DIPs/blob/master/DIPs/DIP1009.md

Based on feedback from the first round, this DIP has been revised to the extent that a second preliminary review round is warranted.

All review-related feedback on and discussion of the DIP should occur in this thread. The review period will end at 11:59 PM ET on August 4 (3:59 AM GMT August 5), or when I make a post declaring it complete.

At the end of Round 2, if further review is deemed necessary, the DIP will be scheduled for another round. Otherwise, it will be queued for the formal review and evaluation by the language authors.

Thanks in advance to all who participate.

Destroy!

How about this in current syntax? (that's what I do)

int func(int a)
    in
    {
        assert(a >= 0);
    }
    out(result)
    {
        assert(result >= 2);
    }
body
{
    return 2 * a;
}


an improvement could be:

int func(int a)
    in assert(a >= 0);
    out(result) assert(result >= 2);
body
{
    return 2 * a;
}

just like an in-line if-else statement