On Fri, Nov 1, 2019 at 7:41 AM Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
> Could we get around this by making Datum 8 bytes everywhere?
I really like that idea.
Even Raspberry Pi devices (which can cost as little as $35) use 64-bit
ARM processors. It's abundantly clear that 32-bit platforms do not
matter enough to justify keeping all the SIZEOF_DATUM crud around.
--
Peter Geoghegan