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
On Thu, 2011-11-24 at 14:03 +0100, Tjark Weber wrote:
Poly/ML fixes-5.4 (revision 1373) just terminated with poly: scanaddrs.cpp:107: PolyWord ScanAddress::ScanStackAddress(PolyWord, StackObject*, bool): Assertion `val.IsDataPtr()' failed.
Turns out I was accidentally using an older version on Poly/ML (namely the one that came with Isabelle, not the one I had installed myself). So this was most likely a bug that has been fixed some months ago (in r1297): http://www.mail-archive.com/polyml@inf.ed.ac.uk/msg00457.html
My apologies!
Kind regards, Tjark
On Thu, 24 Nov 2011, Tjark Weber wrote:
On Thu, 2011-11-24 at 14:03 +0100, Tjark Weber wrote:
Poly/ML fixes-5.4 (revision 1373) just terminated with poly: scanaddrs.cpp:107: PolyWord ScanAddress::ScanStackAddress(PolyWord, StackObject*, bool): Assertion `val.IsDataPtr()' failed.
Turns out I was accidentally using an older version on Poly/ML (namely the one that came with Isabelle, not the one I had installed myself).
For the current Isabelle2011-1 (October 2011) release I somehow missed the Poly/ML 5.4.1 release from several weeks before. In the meantime I have packaged it here http://www4.in.tum.de/~wenzelm/test/polyml-5.4.1.tar.gz in the usual Isabelle way. In particular it includes the important libsha1 binary module, which is otherwise easy to miss.
Makarius
-
makarius＠sketis.net -
tjark.weber＠gmx.de