Simplify productions for FORMAT JSON [ ENCODING name ]
authorAlvaro Herrera
Mon, 11 Dec 2023 10:55:34 +0000 (11:55 +0100)
committerAlvaro Herrera
Mon, 11 Dec 2023 10:55:34 +0000 (11:55 +0100)
commitd3fe6e90bab52b8cbf085cfad5e4da110a2cd373
tree419610e166077571ec73e3a846e31d0b80d3b7db
parentc7a3e6b46d38f880f42642df003796b9bf99c1a8
Simplify productions for FORMAT JSON [ ENCODING name ]

This removes the production json_encoding_clause_opt, instead merging
it into json_format_clause.  Also remove the auxiliary
makeJsonEncoding() function.

Reviewed-by: Amit Langote
Discussion: https://postgr.es/m/202312071841.u2gueb5dsrbk%40alvherre.pgsql
src/backend/nodes/makefuncs.c
src/backend/parser/gram.y
src/include/nodes/makefuncs.h