24 Nov
2011
24 Nov
'11
5:51 p.m.
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