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/[email protected]/msg00457.html My apologies! Kind regards, Tjark _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
