[PPL-devel] [Xsb-development] Arithmetic evaluation bug in the CVS HEAD version of XSB

[Terrance Swift]

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 at 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 at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/xsb-development
>