On Fri, May 15, 2015 at 11:06 AM, Anton Pavlov <udtelco(at)gmail(dot)com> wrote:
> I understand now - thank you. It still rubs me the wrong way that both a
> OP b and a not OP b can be equal - STL would go berserk. I guess it was not
> so clear to me that ANY / ALL aren't pure functions, more of a control
> structure .
>
A "pure" function would have to be able to be used by itself - but the
following gives a syntax error:
SELECT any('{1,2}'::int[])
David J.