Ola Fosheim Grøstad: > Is pure meant to be a compiler hint so that it is up to the > programmer to enforce it? Nope, it's enforced by the compiler. (But its rules are not immediately obvious, there are three kinds of purity, strong, weak and constant purity, etc). There are several corners cases, etc. Bye, bearophole