On Fri, Nov 24, 2023 at 10:07:30PM +0100, Patrice Dumas wrote: > Hello, > > The extra_integer associated type is used for extra information in > Texinfo tree elements in C that correspond to integers. Currently the > associated type is long, but in most cases, it is used as an int. I > think that it should be homogeneous, both storage and use should use the > same type. Should it be better to use long or int? > > (Note that previously there were casts from/to intptr_t, so homogeneity > was not possible anyway but it is not like that anymore).
I think an int is better (not that it matters that much). It is only used for very small integers, usually no more than about 10, as you know.
