Re: Bug in code sample in "8.15.5. Searching in Arrays"

PG Doc comments form <noreply(at)postgresql(dot)org> writes:
> The section on array searching here:
> https://www.postgresql.org/docs/current/arrays.html#ARRAYS-SEARCHING
> ...says "In addition, you can find rows where the array has all values equal
> to 10000 with:" and gives the following code example:
> SELECT * FROM sal_emp WHERE 10000 = ALL (pay_by_quarter);

Yeah ...

> ...however the docs for "ALL" over here:
> https://www.postgresql.org/docs/current/functions-comparisons.html#id-1.5.8.30.17
> ...explicitly say that "The result of ALL is “true” if all comparisons yield
> true (including the case where the array has zero elements)."

I don't see any conflict there.

regards, tom lane