15 Jan
2018
15 Jan
'18
7:47 a.m.
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.