DIP 1009 (Add Expression-Based Contract Syntax) Accepted

Timon Gehr timon.gehr at gmx.ch
Mon Apr 9 19:15:44 UTC 2018


On 07.04.2018 00:45, Timon Gehr wrote:
> On 06.04.2018 19:36, H. S. Teoh wrote:
>> On Fri, Apr 06, 2018 at 05:02:54PM +0000, Adam D. Ruppe via 
>> Digitalmars-d-announce wrote:
>>> On Friday, 6 April 2018 at 16:57:21 UTC, Jonathan M Davis wrote:
>>>> Now, if the contracts ended up in the documentation or something
>>>
>>> My documentation generator supports contracts, but I found in
>>> practice, most of them are so illegible it doesn't actually help any
>>> to include them, so I never do.
>>>
>>> But if they were simpler single expressions, it might make sense to
>>> revisit that.
>>
>> Yeah, I think having expression syntax will make contracts more
>> readable.  We'll just have to see.
>>
>> When will this DIP be implemented? AIUI Timon already has an
>> implementation sitting around somewhere.  Can't wait for it to get
>> merged...
>>
>>
>> T
>>
> 
> I'll rebase it against master and create a pull request ASAP.

I created a pull request: https://github.com/dlang/dmd/pull/8155

It took a while to rebase, as relevant parts of the compiler have been 
refactored in the meantime.


More information about the Digitalmars-d-announce mailing list