[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Scheme-reports] EQV? on numbers should be based on operational equivalence

> It must be unspecified in R7RS because R7RS
> does not require that implementations distinguish
> between 0.0 and -0.0, nor that they provide +inf.0
> or -inf.0.

The R7RS could specify that the result of (eqv? 0.0 -0.0) is the same as the result of (eqv? (/ 1.0 0.0) (/ 1.0 -0.0)) provided that this expression does not provoke an error and is #t if it does provoke an error.



Scheme-reports mailing list