[Issue 11469] New: Add function attributes wildcards for `@safe`, `pure`, and `nothrow`

d-bugmail at puremagic.com d-bugmail at puremagic.com
Thu Nov 7 09:20:26 PST 2013


https://d.puremagic.com/issues/show_bug.cgi?id=11469

           Summary: Add function attributes wildcards for `@safe`, `pure`,
                    and `nothrow`
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P2
         Component: DMD
        AssignedTo: nobody at puremagic.com
        ReportedBy: verylonglogin.reg at gmail.com


--- Comment #0 from Denis Shelomovskij <verylonglogin.reg at gmail.com> 2013-11-07 20:20:25 MSK ---
Something like this:
---
// a single wildcard for all:
void f(void delegate() @attr_wildcard del) @attr_wildcard;
---
or better:
---
// `f` is `@safe`, `pure`, and `nothrow` if `del` is:
void f(void delegate() @safe? pure? nothrow? del) @safe? pure? nothrow?;
---

Also see Issue 11412.

-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------


More information about the Digitalmars-d-bugs mailing list