After a few distractions, I finally finished an implementation of
call_cleanup/2. I tested call_cleanup on Bart's weird examples, as
well as some weird examples of my own. In Bart's examples, XSB's
behavior is almost always like SWI's in terms of bindings passed to
handlers. The only exception I've found is
?- call_cleanup((X=foo,throw(7)),write(X)).
which unbinds X before throwing the error. For those interested, the
full set of tests is in the sequential testsuite under
prolog_tests/test_cleanup.P
More details are also in the manual. So, if any bleeding-edgers want
to try it out, its ready to try.
Terry
-------------------------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc.
Still grepping through log files to find problems? Stop.
Now Search log events and configuration files using AJAX and a browser.
Download your FREE copy of Splunk now >> http://get.splunk.com/
|
