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

[Roberto Bagnara]

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 at cs.unipr.it