%u Wrote: > I wanted to suggest a feature similar to inout: conditional purity. That is, > sometimes a function is pure iff the delegates passed to it are pure, I think this is useless. If this is possible, then you just mark every single not-pure function in the program with @conditionally_pure, and we are back to the beginning. Bye, bearophile