On 01/03/17 13:55, David Matthews wrote: >> On 24/02/17 13:26, Makarius wrote: >> My current guess is that it is a problem of compiled ML code that is no >> longer garbage-collected. > > The current version does garbage collect code; it's just that it only > happens at a major GC. Previously when code was part of the general > heap a short-lived code cell would be garbage-collected by a minor GC. > It could be that this is problem or it could be that there is a bug > which is resulting in code not being properly collected.
> I'm inclined to release the current version of git master as 5.7 and > then look into this and other issues. OK, it merely means that we need to skip this version for official Isabelle use. I will continue testing Poly/ML repository versions privately. Makarius _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml