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.matth...@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@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