Email list hosting service & mailing list manager

Re: safety John David Stone (13 Jan 1999 17:47 UTC)
Re: safety Doug Currie (13 Jan 1999 18:19 UTC)
Re: safety John David Stone (13 Jan 1999 18:29 UTC)

Re: safety Doug Currie 13 Jan 1999 18:19 UTC

At 11:52 AM -0600 1/13/99, John David Stone wrote:
>[...]
>---------------------------------------------------------------------------
>
>CIRCULAR-LIST
>
>        *** The SRFI-1 specification indicates that CIRCULAR-LIST always
>returns a list, but since the objects it returns do not satisfy the R5RS
>LIST? predicate I think this is misleading.  I recommend changing `list' to
>`pair' in the syntax picture.
>
>---------------------------------------------------------------------------
>[...]
>---------------------------------------------------------------------------
>
>LAST-PAIR
>
>        The argument is a pair.
>
>---------------------------------------------------------------------------

I agree that a circular-list should not be considered a `list' for the
purpose of the specification of safety preconditions. But, if it is
considered a `pair' then I don't think the precondition for LAST-PAIR is
sufficient.

e