<div dir="ltr"><div><div><div><div>Hi Milad,<br><br></div>That looks like Poly/ML ran out of memory. Unfortunately there's not much that I know of to do apart from running it again. Possibly with more memory (including swap space), or fewer other things running simultaneously.<br><br></div>If you just want the results from bootstrapping the compiler, they are also available for download at <a href="https://cakeml.org/download">https://cakeml.org/download</a><br><br></div>Cheers,<br></div>Ramana<br></div><div class="gmail_extra"><br><div class="gmail_quote">On 5 October 2017 at 15:55, Milad Ketabii <span dir="ltr"><<a href="mailto:ketabii.math@gmail.com" target="_blank">ketabii.math@gmail.com</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>Good day<br><br></div>I had attempted to get to the CakeML but failed. As you see in the attached screen shot, I've got an error which looks like a stack overflow message. It would be very kind of you to let me know how to fix it so that eventually I get to have some 'Cake'. <br><br><br></div>many thanks,<br><br></div>Milad<br></div>
<br>______________________________<wbr>_________________<br>
Users mailing list<br>
<a href="mailto:Users@cakeml.org">Users@cakeml.org</a><br>
<a href="https://lists.cakeml.org/listinfo/users" rel="noreferrer" target="_blank">https://lists.cakeml.org/<wbr>listinfo/users</a><br>
<br></blockquote></div><br></div>