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

[d-bugmail at puremagic.com]

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


bearophile_hugs at eml.cc changed:

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


--- Comment #1 from bearophile_hugs at 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: -------