[isabelle-dev] Fwd: status (AFP)
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.
>> 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 information about the isabelle-dev