leppie wrote:
> As the R6RS does not define anything in terms of what = should do
> given a mix of argument types, I think both of the interpretation
> of Ypsilon and Ikarus is correct.
Ikarus may be correct, but that probably means it's using
a precision other than IEEE double precision.
I don't see how Ypsilon can be correct.
R6RS 11.7.4.3 says "These predicates must be transitive."
I suggest you try the following:
(define pi (angle -1))
(list (= 245850922/78256779 pi)
(= pi 884279719003555/281474976710656)
(= 245850922/78256779 884279719003555/281474976710656))
If that last expression evaluates to (#t #t #f), then it's
a clear violation of the R6RS 11.7.4.3. If it evaluates
to (#t #t #t), then it's a violation of R6RS 11.7.1.
Will
_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
