Undocumented := alternative in using option of raise statement - Mailing list pgsql-docs

From PG Doc comments form
Subject Undocumented := alternative in using option of raise statement
Date
Msg-id 172163522625.709.14011263605748671820@wrigleys.postgresql.org
Whole thread Raw
Responses Re: Undocumented := alternative in using option of raise statement
List pgsql-docs
The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/16/plpgsql-errors-and-messages.html
Description:

The using option is documented as follows for all variants of the raise
statement:

USING option = expression [, ... ]

However, since "do $$ begin raise notice using message := 'foo'; end $$;"
works and the alternative to "=" is documented in
https://www.postgresql.org/docs/current/plpgsql-statements.html#PLPGSQL-STATEMENTS-ASSIGNMENT
I suggest to change the grammar to

USING option { := | = } expression [, ... ]

for the raise statement.

pgsql-docs by date:

Previous
From: 日向充
Date:
Subject: Re: A minor bug in the doc of "SQL Functions Returning Sets" in xfunc.sgml.
Next
From: Amit Kapila
Date:
Subject: Re: Fix an incorrect statement for failover option in alter_subscription.sgml