Hi, in a CakeML compilation I got
explorerProgTheory FAILED! <Signal 6> GC: Count error mark count 205399344, bitCount 205372170 GC: Count error mark count 205267608, bitCount 205240434 buildheap: gc.cpp:178: bool doGC(POLYUNSIGNED): Assertion `markCount == bitCount' failed. GC: Count error mark count 205267608, bitCount 205240434 What could cause this? Unsuccessful memory allocation attempt? Signal 6 is ABRT. I am using the 5.7.1 release. - Gergely
_______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml