[HACKERS] int4 or int32

[Peter Eisentraut]

Which one of these should we use?

int4 is a data type, int32 isn't.  c.h has DatumGetInt8, but no
DatumGetInt64; it also has DatumGetInt32 but no DatumGetInt4.  fmgr has
PG_GETARG_INT32 et al.  Inconsistency everywhere.

The C standard has things like int32_t, but technically there's no
guarantee that int32 is really 32 bits, you only know sizeof(int32) == 4.

-- 
Peter Eisentraut      [EMAIL PROTECTED]       http://yi.org/peter-e/