I am posting this as an individual member of the Scheme
community. I am not speaking for the R6RS editors, and
this message should not be confused with the editors'
eventual formal response.
I wrote:
> That is an equivalence predicate, and it is definable in
> R5.92 Scheme, but char<=? does not define a total ordering
> with respect to that predicate.
Well, actually it does. Let's try that again:
(define (klepto:char-equiv? c1 c2)
(let ((i1 (char->integer c1))
(i2 (char->integer c2)))
(= (remainder i1 200) (remainder i2 200))))
That is an equivalence predicate, and it is definable in
R5.92 Scheme, but char<=? does not define a total ordering
with respect to that predicate.
Will
_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
