[r6rs-discuss] [Formal] Plausible alists
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.
> 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