Change detail text in last example of 43.5.3. Executing a Command with a Single-Row Result - Mailing list pgsql-docs

From PG Doc comments form
Subject Change detail text in last example of 43.5.3. Executing a Command with a Single-Row Result
Date
Msg-id 172112109590.736590.12219129462878821880@wrigleys.postgresql.org
Whole thread Raw
List pgsql-docs
The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/16/plpgsql-statements.html
Description:

The last example in the chapter uses a named parameter "username". As a
result, the detail message should use "username" instead of "$1" to match
the runtime behaviour.

I suggest to change this line

DETAIL:  parameters: $1 = 'nosuchuser'

to 

DETAIL:  parameters: username = 'nosuchuser'

pgsql-docs by date:

Previous
From: PG Doc comments form
Date:
Subject: Mismatch for connection key/value pair between documentation and code?
Next
From: "David G. Johnston"
Date:
Subject: Re: 13.2.2. Repeatable Read Isolation Level #