Hi, https://polyml.inf.ed.ac.narkive.com/c53BJE4q/run-out-of-store-interrupting- threads
says that setting --maxheap with polyml can fix this problem. Does this memory allocation necessarily mean _physical_ memory allocation or the operating system can use swap space to have the necessary memory? I have set maxheap as twice the physical memory size in a CakeML compilation and I still got this error message (8G/16G). - Gergely _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
