[r6rs-discuss] equal? and infinite lists

From: William D Clinger <will>
Date: Thu, 27 Sep 2007 23:00:52 -0400

Aziz quoting the R5.97RS draft:

> equal? returns #t if and only if the (possibly infinite)
> unfolding of its arguments into regular trees are equal
> as ordered trees.
>
> I don't understand that sentence. What should the value of
> the following two expressions be?
>
> (equal? ;;; two infinite lists of 1s
> (inflist 1)
> (cons 1 (inflist 1)))
>
> (equal? ;;; two infinite lists of 1s
> ;;; with different "periods"
> (inflist 1)
> (inflist 1 1))

#t

Will
Received on Thu Sep 27 2007 - 23:00:52 UTC

This archive was generated by hypermail 2.3.0 : Wed Oct 23 2024 - 09:15:01 UTC