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