20 Jul
2020
20 Jul
'20
10:23 p.m.
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 at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml