Jonathan M Davis: > If you want it to be pure, you mark it with pure. It doesn't have to be, and > it's too restrictive to require that it always is - though obviously it would > ideally be pure. I think it should be pure, as in other languages that have DbC... Its purity helps static code analysis too, I think. Bye, bearophile