[CakeML-dev] translation speed after bignum

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Thu Jan 12 08:51:09 UTC 2017

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 :)


More information about the Developers mailing list