Per Bothner scripsit:

> > But in Racket (eqv? 1.0f0 1.0e0) returns #t and
> > so does (= (/ 1.0f0 3.0f0) (/ 1.0e0 3.0e0)).
>
> Kawa correctly returns #f for both of these.

That is, correctly for R6RS, incorrectly for R5RS.  The two
standards are incompatible here.  Similarly, an extended R5RS
that supports NaN must have (eqv? +nan.0 +nan.0) return #t,
whereas in R6RS I think it must (and certainly may) return #f.

--
John Cowan  cowan@ccil.org  http://ccil.org/~cowan
If I have not seen as far as others, it is because giants were standing
on my shoulders.
        --Hal Abelson

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