[CakeML] stack overflow error before getting to Cake.S

[Ramana Kumar]

Hi Milad,

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.

If you just want the results from bootstrapping the compiler, they are also
available for download at https://cakeml.org/download

Cheers,
Ramana

On 5 October 2017 at 15:55, Milad Ketabii <ketabii.math at gmail.com> wrote:

> Good day
>
> 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'.
>
>
> many thanks,
>
> Milad
>
> _______________________________________________
> Users mailing list
> Users at cakeml.org
> https://lists.cakeml.org/listinfo/users
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/users/attachments/20171005/205a97fd/attachment.html>