Le 01/09/2012 14:29, Dmitry Olshansky a écrit :
On 01-Sep-12 15:47, Piotr Szturmaj wrote:
bearophile wrote:
The Koka language has a function annotation similar to @noheap, I have
discussed a little about Koka here:
http://forum.dlang.org/thread/ocxmiolhlcysehbjt...@forum.dlang.org
but Koka has type inference for effects, so often you don't need to add
that annotation to functions.
Well, __traits(hasGCallocations, func) will also do the trick.
Make it __traits(hasAttribute, "nogc", func) and that might be something.
Actually, I'd love to see some proposal that
a) clarifies how @attributes are supposed to be used
b) adds generic infrastructure to to use them via __traits or whatever
+1
