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
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
