[CakeML-dev] bootstrap timeout

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Mon Apr 10 06:53:38 UTC 2017

Running it interactively succeeded. So now I'm more confused about why or
where it was getting stuck. I'll try another non-interactive attempt.

On 10 April 2017 at 11:20, Ramana Kumar <Ramana.Kumar at cl.cam.ac.uk> wrote:

> 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/e7d5f6f4/attachment.html>

More information about the Developers mailing list