[r6rs-discuss] [Formal] Requirement to detect circular lists

[AndrevanTonder]

Here is another perfectly good program that seems to be disallowed by r6rs if I 
read it correctly:

(define (do-forever thunk)
   (for-each (lambda (ignore) (thunk))
             some-infinite-list))

Andre