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

[Roberto Bagnara]

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