Hi Michael,
> On Tue, Oct 29, 2024 at 03:23:15PM +0300, Aleksander Alekseev wrote:
> >> While unfortunately named, we cannot deprecate TRIM_ARRAY() because it
> >> is mandated by the standard.
> >
> > I didn't know that, thanks.
>
> Wow. Neither did I.
>
> > Still PostgreSQL doesn't follow the standard precisely in more than
> > one respect. Perhaps we should add array_trim() and keep both? Or
> > (less likely) remove trim_array() and document this deviation from the
> > standard? Or at least document why it's named this way.
>
> I suspect that it is not the only function in this case, and that we
> don't document that it is in the standard. I would suggest to let
> things the way they are on HEAD and withdraw the patch.
Thanks for your feedback. The patch is withdrawn.
--
Best regards,
Aleksander Alekseev