Re: bignum branch

[Eli Zaretskii]

> Cc: address@hidden, address@hidden
> From: Paul Eggert <address@hidden>
> Date: Tue, 17 Jul 2018 15:39:02 -0700
> 
> There's another thing about debugging. This stuff is still uncertain. That 
> is, 
> there are no doubt bugs in the bignum branch in this area, and we don't know 
> yet 
> how significant these correctness problems will be. With that in mind, it 
> would 
> be useful to have avoid-libgmp options with our own GMP replacement that uses 
> uintmax_t limbs (or 'unsigned int' limbs, for that matter) for debugging 
> purposes, to help us debug the inevitable glitches that will arise due to 
> libgmp's limbs being wrong for some types.
> 
> I looked into libgmp, and it appears that all we would need is a 2-line 
> change 
> to mini-gmp.h. This should not be hard to maintain ourselves, with the idea 
> of 
> propagating it upstream when we can.

Could you please elaborate and perhaps show an example or two?  I
don't think I understand what change you are proposing to make, and
how will that help debugging.

Thanks.