Use "simple parsers" for translations again?

On Sun, Nov 05, 2023 at 12:53:19PM +0100, Patrice Dumas wrote: > Indeed, I don't know why I want it to have an effect, as it should > not... > > > If there is a real problem, then we could fix it another way, maybe > > by "locking" the parser configuration at certain points, making any > >

Re: extra_integer associated type: long or int?

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

extra_integer associated type: long or int?

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.