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

David Gileadi via Digitalmars-d digitalmars-d at puremagic.com
Fri Jul 21 11:53:25 PDT 2017


On 7/21/17 11:41 AM, Moritz Maxeiner wrote:
> On Friday, 21 July 2017 at 18:35:53 UTC, David Gileadi wrote:
>> On 7/21/17 6:51 AM, Mike Parker wrote:
>>> DIP 1009 is titled "Improve Contract Usability".
>>
>> For out contracts that use the return identifier, could the keyword 
>> "return" be used?
>>
>>     out(return > 0)
>>
>> One possible problem with this syntax is a future where functions 
>> could have multiple return values...
> 
> No, see Round 1 discussion [1]
> 
> [1] http://forum.dlang.org/post/oihbot$134s$1@digitalmars.com

Ah, thanks--I missed that.


More information about the Digitalmars-d mailing list