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

[Alan Watson <alan@x>]

> 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.

Regards,

Alan


_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports