Обсуждение: Re: SQLJSON: errmsg(" .. should ...") -> must

On 2025-Jan-13, Alvaro Herrera wrote:

> There's a few recent SQL/JSON error messages in which we say something
> "should" be something else.  We avoid this, so I think we shouldn't use
> it here either.

Pushed.

-- 
Álvaro Herrera               48°01'N 7°57'E  —  https://www.EnterpriseDB.com/

On Tue, Jan 21, 2025 at 11:42 PM Alvaro Herrera <alvherre@alvh.no-ip.org> wrote:
> On 2025-Jan-13, Alvaro Herrera wrote:
>
> > There's a few recent SQL/JSON error messages in which we say something
> > "should" be something else.  We avoid this, so I think we shouldn't use
> > it here either.
>
> Pushed.

Sorry Alvaro for not noticing sooner.

I looked at db19a5061ce and it all looks fine to me.

--
Thanks, Amit Langote