Re: Multiple values being passed back

[gls@MIT-AI (Sent by GJS@MIT-AI)]

CC: GLS at MIT-AI
If I understand RMS' suggestion correctly, then one may summarize
by saying that multiple values should be passed back in precisely
those cases which are (or can be made) tail-recursive.  The last
thing in an AND, OR, PROGN (including implicit ones such as
in COND and LAMBDA), the consequent and alternative of IF's,
etc. are all cases in point.  It is slightly unclear to me
what (COND ((x)) (t y)) should do: does this mean
	((LAMBDA (z) (IF z z y)) (x))
or do we require a more complex definition?  I am inclined to
make the definition coimpolicated and let the multiple values
propagate as RMS suggests.