[CakeML-dev] translation speed after bignum

[Ramana Kumar]

Hi all,

I've merged the bignum branch to master now. The regression test timed
out early, in the middle of the bootstrap translation. It's possible
this is just a slowdown, but it's also possible there's a loop, or
that the performance hit is a bug. Probably worth investigating at
some point, but I figured it's more important at this stage to push
the merges along :)

Cheers,
Ramana