Re: [isabelle] Assertion failed

Le Sun, 08 Dec 2013 14:20:25 +0100, Joachim Breitner <breitner at> a écrit:


I just upgraded to 2013-2, and for the first time got a syslog window
popping up, with this information:

Welcome to Isabelle/HOLCF-Nominal2 (Isabelle2013-2: December 2013)
poly: gc_mark_phase.cpp:432: virtual void MTGCProcessMarkPointers::ScanAddressesInObject(PolyObject*, POLYUNSIGNED): Assertion `baseAddr > (PolyWord*)obj && baseAddr < ((PolyWord*)obj)+length' failed.

So there is an issue with the garbage collector?

You may forward this also to the mail indicated there:

“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.