Michael Paquier <[email protected]> writes:
> On Mon, Sep 14, 2026 at 08:41:59AM +0200, Alvaro Herrera wrote:
>> I'm not sure I understand why we care that we hardcode that Oid8 is the
>> same as uint64. It's never been a problem that Oid is the same as uin32 ...
> For me, the reason is greppability of oid8 information as the
> variables printed in the strings may not refer to variables declared
> in the code.
Yeah. It's not a big deal, so maybe PRIu64 is the best option.
I just wanted to be sure we'd considered whether there's another way.
regards, tom lane
