Hi,
This is the first message to the new mailinglist, mainly to see all works
fine. A pending issue:
Ulrich Neumerkel found that freeze/2 creates data that cannot be
reclaimed by GC. This proved to be a more general issue related to
backtrackable destructive assignment as well as attributed variables.
The issue is now partly fixed. I'm interested in tests on programs using
setarg/3 and/or attributes variables. So:
* If you have a program that can be ran easily in batch mode and
whose correct answer can be verified automatically that does a lot
of setarg/3 and/or attvars and/or constraints, please send it to me.
Ultimately, such as program must be called (say) X.pl and
* Define module X, exporting X/0
* X/0 must succeed without messages or permanent side-effects
iff all is fine.
* If you want to test yourself, the changes are in the GIT branch
'freeze'. After a normal git clone, you can play with this version
using
% git checkout -b freeze --track origin/freeze
Enjoy --- Jan
_______________________________________________
SWI-Prolog mailing list
SWI-Prolog@...
https://mailbox.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
