DIP 1009--Improve Contract Usability--Formal Review

Mark via Digitalmars-d digitalmars-d at puremagic.com
Wed Aug 30 09:56:47 PDT 2017


On Wednesday, 30 August 2017 at 14:57:38 UTC, Moritz Maxeiner 
wrote:
> On Wednesday, 30 August 2017 at 14:05:40 UTC, Mark wrote:
>> [...]
>>
>> int abs(int x)
>> out(_ >= 0)
>> {
>>     return x>0 ? x : -x;
>> }
>
> The ambiguity issue of having two results in one scope [1] 
> applies.
>
> [1] http://forum.dlang.org/post/oihbot$134s$1@digitalmars.com

Ah, I see the problem.


More information about the Digitalmars-d mailing list