[PPL-devel] Arithmetic evaluation bug in the CVS HEAD version of XSB
bagnara at cs.unipr.it
Sun Sep 23 21:26:07 CEST 2007
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.
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it
More information about the PPL-devel