Tom Lane writes:
> The IMMUTABLE marker is a promise from you to the system that it is safe
> to optimize away multiple calls to the function. It is not a promise
> from the system to you that the system will expend unlimited amounts of
> energy to detect duplicate calls.
Nicely put. Thanks!
BTW, this explanation should go into the manual.
Regards,
Fernando.