Oh you're right - thanks David. (I think this is because 5.6 is the stable Debian package for the regression machines. On my personal machine I use 5.7.1)

On 15 Jan 2018 20:35, "David Matthews" <David.Matthews at prolingua.co.uk> wrote:

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 at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml