=?GBK?B?tcK45w==?= <digoal(at)126(dot)com> writes:
> If the value of the immutable function changes, the immutable function should be recalculated.
You misunderstand completely. An immutable marking on a function is a
promise from you to the system that the function's value does NOT change.
Therefore, the predicate of your statement is vacuous, and we need not
discuss whether the conclusion is interesting. If there's some behavior
that you don't like as a consequence of your lie, then stop lying.
regards, tom lane