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

Bart Demoen wrote:

Terry, why does the following not work as a fix in the compiler ? At compile time, replace X is Y by

(number(Y) -> X = Y ; throw(appropriate error) ) That would give consistent behaviour, no ? Even though not ISO.

Please, do strive for standard conformance in any aspect of the system. Going the other way around brings nowhere. Just my 2 cents. Cheers, 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