<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">https://cakeml.org/bootstrap-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>