[polyml] Poly/ML SVN: assertion failure when attempting to dump heap

Aleks, I've committed a fix (1540) that should fix this problem. Let me know if you still have problems. Regards, David

On 01/06/2012 01:22, Aleks Kissinger wrote:

I'm attempting to build a large poly/ML program (Quantomatic) which makes use of many load/save states (incremental compiling via Lucas Dixon's PolyML.Project). Works fine in fixes-54, but in trunk I get this error:

poly: statistics.cpp:241: void Statistics::decSize(int, size_t): Assertion `s<= statMemory->psSizes[which]' failed. Aborted (core dumped)

Seems it only fails after compiling a large amount of code at once. _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml