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 _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
