[CakeML-dev] bootstrap timeout

[Ramana Kumar]

Hi all,

I think the bootstrap is currently (cd43c3944) getting stuck in the "apply
colour (par)" phase.

I've run it for several hours and it doesn't finish (
https://cakeml.org/bootstrap-timing.txt suggests it used to take <30 mins).

I also tried running it on some smaller sections of the whole program,
e.g., the first 10 progs, the second 100, etc. and in those cases it does
complete successfully and doesn't seem to leave anything unevaluated (I
looked for vars and abstractions in the results). So it's not obvious
what's going wrong...

My guess is there's something unevaluated somewhere in the declarations I
didn't look at explicitly yet. Currently I'm evaluating to_lab_x64Bootstrap
on the whole program interactively to try to find it.

If you know of anything that might have changed recently (within the last 2
weeks) that would affect the bootstrap evaluation of checking/applying the
register allocator, let me know. Given that a "successful" regression test
usually times out, this may have been happening for a while. I know the
bootstrap was successfully completed at 32b749 (March 22), though, because
I have a snapshot of the result for that commit.

Cheers,
Ramana
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20170410/f6a8b1c2/attachment.html>