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