Hi,
On 25/01/16 22:16, Marc Feeley wrote:
The problem is now fixed. It was due to an unexpected sign extension of the bignum length, a large int constant about 2^31. This was causing the sign to become negative when cast to a 64 bit int (to be put in the header of the huge bignum constant). The same problem existed for structured constants (such as vectors, strings, u8vectors, etc) with a few million elements… not a very common thing in a program.
Thanks!