array_length of an empty array

hmmm.    array[]::integer[]    is an empty array, {}, eg an array with
zero elements

but array_length(array[]::integer[])   is NULL rather than zero.    this
seems counterintuitive.


--
john r pierce                            N 37, W 122
santa cruz ca                         mid-left coast