On Friday, 28 July 2017 at 07:50:43 UTC, Daniel N wrote:
On Thursday, 27 July 2017 at 14:44:23 UTC, Mike Parker wrote:
DIP 1012 is titled "Attributes".
https://github.com/dlang/DIPs/blob/master/DIPs/DIP1012.md
All review-related feedback on and discussion of the DIP
should occur in this thread. The review period will end at
11:59 PM ET on August 10 (3:59 AM GMT August 11), or when I
make a post declaring it complete.
At the end of Round 1, if further review is deemed necessary,
the DIP will be scheduled for another round. Otherwise, it
will be queued for the formal review and evaluation by the
language authors.
Thanks in advance to all who participate.
Destroy!
I was hoping an attribute overhaul would go in a different
direction.
1) Remove all negation
2) Add an true/false yes/no parameter etc.
@gc!no:
...
@gc!yes:
...
Or:
//Create symbol to attribute (new kind of symbol)
__attribute Pure = pure;
alias PureIf(bool X : true) = Pure;
alias PureIf(bool X : false) = AliasSeq!();
//expand UDA PureIf to pure if IsPure == true
void test(bool IsPure)()@PureIf!IsPure{
}
//can be in std.attrib or similar module:
__attribute Safe = @safe;
__attribute Nothrow = nothrow;
alias As = AliasSeq!(Pure, Nothrow, Safe);
//expand to pure nothrow @safe
void test2()@As{
}
