Re: extra_integer associated type: long or int?

[Gavin Smith]

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.