flex code modernization: Replace YY_EXTRA_TYPE define with flex option
authorPeter Eisentraut <peter@eisentraut.org>
Mon, 6 Jan 2025 08:47:58 +0000 (09:47 +0100)
committerPeter Eisentraut <peter@eisentraut.org>
Mon, 6 Jan 2025 08:47:58 +0000 (09:47 +0100)
commitb1ef48980ddd082a90ed39aa5914af45e53059e6
tree9d97adbc87951cdf5180c8b801a555c3d8a5776b
parent632384d0eb142f243fdd6059fde715319cfd05c9
flex code modernization: Replace YY_EXTRA_TYPE define with flex option

Replace #define YY_EXTRA_TYPE with %option extra-type.  The latter is
the way recommended by the flex manual (available since flex 2.5.34).

Reviewed-by: Heikki Linnakangas <hlinnaka@iki.fi>
Discussion: https://www.postgresql.org/message-id/flat/eb6faeac-2a8a-4b69-9189-c33c520e5b7b@eisentraut.org
src/backend/parser/scan.l
src/backend/replication/repl_scanner.l
src/backend/replication/syncrep_scanner.l
src/backend/utils/adt/jsonpath_scan.l
src/bin/psql/psqlscanslash.l
src/fe_utils/psqlscan.l