[R6RS] revised^1 exception vote list

Michael Sperber sperber at informatik.uni-tuebingen.de
Sun May 14 10:00:22 EDT 2006


William D Clinger <will at ccs.neu.edu> writes:

> 22.  If (1) there does not exist a natural number n such
>     that the second argument to memq, memv, or member
>     is the first Scheme value of a plausible prefix of
>     length n such that the last value xn of that prefix
>     has the first argument as its car at some time after
>     tn and before the procedure returns,

I'm being dense here---my brain still explodes on the fifth attempt or
so at understanding this.  I'm thinking it might be:

22.  If (1) there does not exist a natural number n such
    that the second argument to memq, memv, or member is a
    plausible prefix of length n such that the last value xn
    of that prefix has the first argument as its car at some
    time after tn and before the procedure returns,

Correct?  If not, could you explain?

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla



More information about the R6RS mailing list