Dmitry Olshansky wrote:
On 01-Sep-12 19:58, Peter Alexander wrote:
C:
int mul(int x, int y);
Future D:
pure @safe nothrow nogc commutative associative distributive
@forceinline mayoverflow int mul(int x, int y);
Either way this is a kind of thing that only some users need but std
library have to use all of them just so that those 'some users' can use it.
The DIP states that nogc should be inferred by the compiler to avoid
marking all existing functions.
But, I know there are some problems with inferring non templated
methods:
http://www.digitalmars.com/d/archives/digitalmars/D/Why_isn_t_purity_co._inferred_for_all_functions_166946.html.
