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@puremagic.com
        ReportedBy: verylonglogin.reg@gmail.com


--- Comment #0 from Denis Shelomovskij <verylonglogin.reg@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: -------

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


bearophile_hugs@eml.cc changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bearophile_hugs@eml.cc


--- Comment #1 from bearophile_hugs@eml.cc 2013-11-07 11:43:42 PST ---
If you want to this then you have to do it in a principled way, using not just "wildcards" but using sets of attributes in a single algebra of effects, as in Koka language:

http://research.microsoft.com/en-us/projects/koka/

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