[r6rs-discuss] [Formal] Plausible alists

Michael Sperber sperber at informatik.uni-tuebingen.de
Tue Oct 24 07:19:06 EDT 2006


Andre van Tonder <andre at het.brown.edu> writes:

> Slight defect in plausible alist description.
>
> Description:
> ------------
>
> Point 1 does not check that (car x) is a pair as is done in point 3.

Could you elaborate on why it should?  The first two items simply
codify that, even if n is 0, some minimal checking is done on the
alleged plausible alist.  (Maybe I'm missing something trivial---this
stuff makes my head spin.)

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



More information about the r6rs-discuss mailing list