24 Nov
2011
24 Nov
'11
1:04 p.m.
Hi,
Poly/ML fixes-5.4 (revision 1373) just terminated with
poly: scanaddrs.cpp:107: PolyWord ScanAddress::ScanStackAddress(PolyWord, StackObject*, bool): Assertion `val.IsDataPtr()' failed.
on my machine (Linux 3.1.1-2.fc16.x86_64) while I was trying to build Isabelle/HOL.
I am afraid the error is intermittent and has only occurred once so far. Is there anything I can do to provide more useful debugging information if this happens again?
Kind regards, Tjark