Re: [PATCH] Optimize IS DISTINCT FROM NULL => IS NOT NULL

Marti Raudsepp <marti@juffo.org> writes:
> But I don't feel strongly about this, maybe it's not worth
> complicating this big function further. :)

Yeah, that was kind of what I felt about it.  If this patch were part of
a grand plan to make IS DISTINCT FROM smarter, that would be one thing.
But if we were to embark on that, likely as not it would involve a
redesign that would invalidate this code anyway.  So I'd just as soon
keep it simple for now.

			regards, tom lane