We'll handle it one way or another (though I'm interested in Bart's further comments.)
BTW, Some other changes that should be coming into CVS within the next couple of weeks from either David or me (if all goes as planned):
-- Multi-threaded XASP -- ISO Private thread queues and thread_signal/2 -- call_cleanup/2 -- Guaranteed interrupt handling before cuts and before disjunctions within a clause (this may not include disjuntions set up when backing through trie_asserted code, however).
Terry
On Sun, 23 Sep 2007, Roberto Bagnara wrote:
Terrance Swift wrote:
This is a longstanding bug with XSB's compiler. I tried fixing it 4-5 years ago, but my fix caused problems with some optimizations that XSB performs with arithmetic expressions, so the fix was never adopted.
But you're right -- it is a big (though localized) bug and we should fix it. Do you have a work-around for the immediate future?
Yes, I have one. But I look forward to get rid of it. Thanks,
Roberto-- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2005. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ Xsb-development mailing list Xsb-development@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/xsb-development