Are you running an old version of Poly/ML? This looks familiar and the location of the assertion fault would suggest that it's 5.6. There have been two releases since then.

Regards,
David

On 15/01/2018 07:47, Ramana Kumar wrote:
I got this error building the CakeML regression test (
https://cakeml.org/regression.cgi/job/152):

scanaddrs.cpp:218: void ScanAddress::ScanAddressesInRegion(PolyWord*,
PolyWord*): Assertion `obj->ContainsNormalLengthWord()' failed.

Is this worth further investigation? I presume it's somehow due to high
memory pressure, though it'd be nice to be more robust to that with a
graceful fail.



_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

Reply via email to