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