Implementing Pure Functions

[bearophile]

Andrei:

>On the bright side, inference is great - no more need for the user to bother with annotations, the compiler takes care of it. Furthermore, the compiler may opportunistically infer function attributes (pure, nothrow etc.) if it wants to optimize a specific context.<

Thank you for your answers.
This automatic purity algorithm looks able to implement a D "compiler tip" similar to the warning "-Wsuggest-attribute=pure" of GCC 4.6 (compiler tip != compiler warning):
http://d.puremagic.com/issues/show_bug.cgi?id=5137

Bye,
bearophile