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

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