On Thu, Jun 17, 2021 at 1:14 PM Tom Lane <[email protected]> wrote: > The big problem in my mind, which would not be alleviated in the > slightest by having a separate file, is that it'd be easy to miss > removing entries if they ever become obsolete.
I suppose you could invent some kind of declaration syntax in a comment near the use of the pseudo-typename in the source tree that is mechanically extracted.
