digitalmars.D.bugs - [Issue 11469] New: Add function attributes wildcards for ` safe`, `pure`, and `nothrow`
- d-bugmail puremagic.com (28/28) Nov 07 2013 https://d.puremagic.com/issues/show_bug.cgi?id=11469
- d-bugmail puremagic.com (13/13) Nov 07 2013 https://d.puremagic.com/issues/show_bug.cgi?id=11469
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 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
https://d.puremagic.com/issues/show_bug.cgi?id=11469 bearophile_hugs eml.cc changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |bearophile_hugs eml.cc 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