[isabelle-dev] Fwd: status (AFP)

David Matthews dm at prolingua.co.uk
Fri Oct 14 12:32:36 CEST 2011

On 14/10/2011 10:02, Makarius wrote:
> On Fri, 14 Oct 2011, Gerwin Klein wrote:
>> Is anyone else observing intermittent problems like this?
>> Building Jinja ...
>> poly: scanaddrs.cpp:107: PolyWord
>> ScanAddress::ScanStackAddress(PolyWord, StackObject*, bool): Assertion
>> `val.IsDataPtr()' failed.
>> /home/kleing/volatile/isadist/Isabelle_13-Oct-2011/lib/scripts/run-polyml:
>> line 77: 20095 Aborted "$POLY" -q $ML_OPTIONS
>> Jinja FAILED
> Yes, occasionally. Such hard crashes were more frequent in the past, and
> we are running much more and bigger jobs now.

I pointed out in an email to Gerwin that this looks very like the bug 
that was fixed in commit 1297 in Poly/ML head and 1318 in the fixes 
branch.  Which version of Poly/ML was this?  It is possible that this 
could be the result of a different bug in which case I will need to look 
more closely.


More information about the isabelle-dev mailing list