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.
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
-
aleks0＠gmail.com -
David.Matthews＠prolingua.co.uk