www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 11469] New: Add function attributes wildcards for ` safe`, `pure`, and `nothrow`

reply d-bugmail puremagic.com writes:
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: -------
Nov 07 2013
parent d-bugmail puremagic.com writes:
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: -------
Nov 07 2013