<div dir="ltr">FWIW, it went past apply colour (par) for me non-interactively. (now at enc_sec (par))</div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Apr 10, 2017 at 2:53 AM, Ramana Kumar <span dir="ltr"><<a href="mailto:Ramana.Kumar@cl.cam.ac.uk" target="_blank">Ramana.Kumar@cl.cam.ac.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">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.<br></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">On 10 April 2017 at 11:20, Ramana Kumar <span dir="ltr"><<a href="mailto:Ramana.Kumar@cl.cam.ac.uk" target="_blank">Ramana.Kumar@cl.cam.ac.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div><div><div><div><div>Hi all,<br><br></div>I think the bootstrap is currently (cd43c3944) getting stuck in the "apply colour (par)" phase.<br><br>I've run it for several hours and it doesn't finish (<a href="https://cakeml.org/bootstrap-timing.txt" target="_blank">https://cakeml.org/bootstrap-<wbr>timing.txt</a> suggests it used to take <30 mins).<br><br></div>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...<br><br></div>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.<br><br></div>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.<br><br></div>Cheers,<br></div>Ramana<br></div>
</blockquote></div><br></div>
</div></div><br>______________________________<wbr>_________________<br>
Developers mailing list<br>
<a href="mailto:Developers@cakeml.org">Developers@cakeml.org</a><br>
<a href="https://lists.cakeml.org/listinfo/developers" rel="noreferrer" target="_blank">https://lists.cakeml.org/<wbr>listinfo/developers</a><br>
<br></blockquote></div><br></div>