DIP69: problem with scope grammar - need a new keyword
via Digitalmars-d
digitalmars-d at puremagic.com
Mon Dec 8 02:44:57 PST 2014
On Monday, 8 December 2014 at 10:37:29 UTC, Walter Bright wrote:
> On 12/8/2014 1:52 AM, deadalnix wrote:
>> On Monday, 8 December 2014 at 09:46:03 UTC, Walter Bright
>> wrote:
>>> I thought I could make this work, but it's a problem. There
>>> are two meanings
>>> for scope when attached to a function:
>>>
>>> T func() scope; // the 'this' pointer is 'scope'
>>> scope T func(); // the function returns a 'scope' T
>>>
>>> I have some ideas, but don't particularly like any of them.
>>> But I don't want
>>> to bias things, so what ideas do you guys have?
>>
>> I'm arguing for ages that qualifier before the return type
>> qualify the return
>> type, and the one after the implicit argument. I stand by this.
>
> Another problem with that is:
>
> void func(scope T delegate() dg);
Playing the devil's advocate:
void func(scope(T delegate()) dg);
void func(scope(T) delegate() dg);
More information about the Digitalmars-d
mailing list