On Sun, Jan 13, 2013 at 9:07 PM, Timon Gehr <[email protected]> wrote:
> On 01/13/2013 08:55 PM, Peter Alexander wrote:
>>
>> Is there any reason why this isn't allowed:
>>
>> alias f = (x => x);
>>
>> but this is:
>>
>> template A(alias B) { alias A = B; }
>> alias f = A!(x => x);
>>
>> ???
>
>
> No. It is a gratuitous grammar limitation.
The same limitation forbids:
alias __traits(whatever, ...) result;
The grammar says:
AliasDeclaration:
alias BasicType Declarator
(and others, but this is the one limiting you). BasicType should be
replaced by PrimaryExrpession, or something like that.
