Re: [polyml] Version 5.8.1 Release
On 21/07/2020 12:30, Makarius wrote: Rather soon, I will continue on the Isabelle repository with Poly/ML repository versions, because I want to start using the experimental GCPercent feature. (The next Isabelle release will probably be in Jan-2021.) I've updated the GCPercent branch to incorporate 5.8.1. For everyone else: the GCPercent branch adds information to the statistics about operations, primarily garbage-collection, that may cause ML to be unresponsive for significant amounts of time. It requires a separate process to read the statistics since obviously the local ML code can't. It's rather experimental at the moment which is why it's not yet in the main line. David ___ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
Re: [polyml] Version 5.8.1 Release
On 20/07/2020 21:57, David Matthews wrote: > After the recent bug fixes I thought it was time to produce a new release. > There are very few new features; it's almost all bug fixes. Great. I have updated the Isabelle polyml-5.8.1 component accordingly: https://isabelle-dev.sketis.net/rISABELLE0f2ff88f823e It can be used with the current Isabelle repository version, but also with offical Isabelle2020 (April 2020). Rather soon, I will continue on the Isabelle repository with Poly/ML repository versions, because I want to start using the experimental GCPercent feature. (The next Isabelle release will probably be in Jan-2021.) Makarius ___ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
Re: [polyml] Version 5.8.1 Release
Phil, Yes, you're right. For some reason it was missing in the documentation. I've removed it from the release message. David On 20/07/2020 22:23, Phil Clayton wrote: David, Thanks for the release! The release message in Github [https://github.com/polyml/polyml/releases/tag/v5.8.1] says "Added Weak.touch. Including this in code that uses a weak reference ensures that the reference will not be garbage-collected." I think Weak.touch was actually introduced in Poly/ML 5.6 (or even 5.5.3). It looks like 5.8.1 just changes its implementation. Phil On 20/07/20 20:57, David Matthews wrote: After the recent bug fixes I thought it was time to produce a new release. There are very few new features; it's almost all bug fixes. Thanks to everyone for the patches and bug reports. David ___ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml ___ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml ___ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
Re: [polyml] Version 5.8.1 Release
David, Thanks for the release! The release message in Github [https://github.com/polyml/polyml/releases/tag/v5.8.1] says "Added Weak.touch. Including this in code that uses a weak reference ensures that the reference will not be garbage-collected." I think Weak.touch was actually introduced in Poly/ML 5.6 (or even 5.5.3). It looks like 5.8.1 just changes its implementation. Phil On 20/07/20 20:57, David Matthews wrote: After the recent bug fixes I thought it was time to produce a new release. There are very few new features; it's almost all bug fixes. Thanks to everyone for the patches and bug reports. David ___ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml ___ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml