From: Tom Lane <tgl@sss.pgh.pa.us>
To: Dominique Devienne <ddevienne@gmail.com>
cc: "David G. Johnston" <david.g.johnston@gmail.com>,
        Pavel Stehule <pavel.stehule@gmail.com>,
        "pgsql-general@lists.postgresql.org" <pgsql-general@lists.postgresql.org>
Subject: Re: CALL and named parameters
In-reply-to: <CAFCRh-_zu2hQpACVQaxGiuCFe5FWnEWQCb6TRCa-zfC539mF0g@mail.gmail.com>
References: <CAFCRh-_iLoUtMAtyunw_-O6sgpWo04sOmB38MUVNpuQVSkL_0Q@mail.gmail.com> <CAFj8pRCyW4E5OnZDGvk_YnPqaS_PfK-VKJOKGndC-gtAtDOtBw@mail.gmail.com> <CAFCRh-9XkFS==OwSB6jgY84L5d4PkV_Y9MxLgk=NVx0Z8W3o_A@mail.gmail.com> <CAKFQuwaGO-pmBVc2Vk9vwmbkhNpxHeZM77=oCtG+Duoc-G58cg@mail.gmail.com> <1566947.1754576491@sss.pgh.pa.us> <CAFCRh-_zu2hQpACVQaxGiuCFe5FWnEWQCb6TRCa-zfC539mF0g@mail.gmail.com>
Comments: In-reply-to Dominique Devienne <ddevienne@gmail.com>
	message dated "Thu, 07 Aug 2025 16:26:34 +0200"
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <1569524.1754577735.1@sss.pgh.pa.us>
Date: Thu, 07 Aug 2025 10:42:15 -0400
Message-ID: <1569525.1754577735@sss.pgh.pa.us>
Archived-At: <https://www.postgresql.org/message-id/1569525.1754577735%40sss.pgh.pa.us>
Precedence: bulk

Dominique Devienne <ddevienne@gmail.com> writes:
> But still, arg names are not part of the signature.
> So they should be checked after the fact.

No, that's not how it works.  David's comment about signature
reflects the fact that the primary key of pg_proc is name +
schema + input argument types.  Arg names are independent of
that and actually have to be checked before we consider argument
type matching, because they help determine which input argument
is which.

(There was considerable debate when we added output arguments
and argument names about whether pg_proc's primary key should
be extended.  We ended up not, but it was a judgment call.)

			regards, tom lane