Hi, I'm afraid I don't have a reproducible test case, but Gerwin Klein encouraged me to post and document this problem anyway.
Using "polyml-5.6-1" bundled with Isabelle, we got the following assertion failure*: poly: scanaddrs.cpp:338: void ScanAddress::ScanRuntimeWord(PolyWord*): Assertion `w->IsDataPtr()' failed. $ uname -a Linux vm-10-155-208-88 3.16.0-4-amd64 #1 SMP Debian 3.16.7-ckt20-1+deb8u3 (2016-01-17) x86_64 GNU/Linux ML_OPTIONS="-H 8000" Cheers Lars * <https://ci.isabelle.systems/jenkins/job/isabelle-repo-makeall/131/console> _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml