Baby Doe name: CALL-WITH-VALUES --- generator first.

[ramsdell@linus.mitre.org]

The results of the Baby Doe naming vote is that the name is
CALL-WITH-VALUES, and the generator is to come first.

Enclosed is the resulting agenda item to be discussed at the next
meeting for the Revised^5 Report on Scheme.  I hope we can at least
agree on this proposal, but I hope it does not impede consideration of
proposals that deal with related matters currently unspecified.
John

#! /bin/sh
# This is a shell archive, meaning:
# 1. Remove everything above the #! /bin/sh line.
# 2. Save the resulting text in a file.
# 3. Execute the file with /bin/sh (not csh) to create the files:
#	mv.tex
# This archive created: Mon Dec  4 08:44:04 1989
export PATH; PATH=/bin:$PATH
if test -f 'mv.tex'
then
	echo shar: will not over-write existing file "'mv.tex'"
else
cat << \SHAR_EOF > 'mv.tex'
%%% Multiple values compromise proposal of December 4, 1989.
%%% This is raw TeX.
\advance\hsize by -5cm
\def\mvcall{call-with-values}
\def\mvcontinue{values}

The editors are directed to add text to R$^5$RS so as to include the
procedures {\tt \mvcontinue{}} and {\tt\mvcall{}} consistent with the
following definitions.  The {\tt \mvcontinue{}} procedure takes any
number of arguments, and simply passes them to its continuation.  The
{\tt\mvcall{}} procedure takes a thunk and a procedure, and calls the
thunk with a continuation that, when passed some values, calls the
procedure that was the second argument to the {\tt\mvcall{}} procedure
with those values as arguments.  Except for continuations created by
the {\tt\mvcall{}} procedure, all continuations take exactly one
value, as now; the effect of passing no value or more than one value
to continuations that were not created by the {\tt\mvcall{}} procedure
is unspecified (as indeed it is unspecified now).
Suggested formal semantics:
$$\hbox{\it \mvcontinue{}} = \lambda\epsilon^*\kappa . \kappa\epsilon^*$$
$$\hbox{\it \mvcall{}} = \hbox{\it twoarg }(\lambda \epsilon_1
\epsilon_2\kappa . \hbox{ \it applicate } \epsilon_1 \langle \rangle
\lambda \epsilon^* . \hbox{ \it applicate } \epsilon_2
\epsilon^* \kappa)$$

\end
SHAR_EOF
fi # end of overwriting check
#	End of shell archive
exit 0

**************************************************************************
				Voting record.
**************************************************************************
|-------------------------------------------------------------------------
 Continuation Linker	| Continuation Invoker.	| Generator first? | Vote
|-----------------------|-----------------------|------------------|------
			|			|		   |
 CALL-WITH-VALUES	| VALUES		| yes		   |  8
			|			|		   |
|-----------------------|-----------------------|------------------|------
markf@zurich.ai.mit.edu (Mark Friedman)
jinx@zurich.ai.mit.edu (Guillermo J. Rozas)
cadence!dyb@iuvax.cs.indiana.edu (R. Kent Dybvig)
Pavel.pa@Xerox.COM
evan%hplerk@hplabs.hp.com (Evan Kirshenbaum)
cph@zurich.ai.mit.edu (Chris Hanson)
halstead@crl.dec.com
"Stewart M. Clamen" <clamen@CS.CMU.EDU>
|-----------------------|-----------------------|------------------|------
			|			|		   |
 WITH-VALUES		| VALUES		| yes		   |  5
			|			|		   |
|-----------------------|-----------------------|------------------|------
Mark A. Sheldon <death@ZERMATT.LCS.MIT.EDU>
Alan Bawden <bawden@parc.xerox.com>
Chris Haynes <chaynes@iuvax.cs.indiana.edu>
Robert Hieb <hieb@iuvax.cs.indiana.edu>
arthur@zurich.ai.mit.edu (Arthur Gleckler)
|-----------------------|-----------------------|------------------|------
			|			|		   |
 CALL-WITH-VALUES	| VALUES		| no		   |  3  
			|			|		   |
|-----------------------|-----------------------|------------------|------
mkatz@garlic.stanford.edu (Morris Katz)
kend%mrloog.wr.tek.com@RELAY.CS.NET
Bruce Duba <duba@rice.edu>
|-----------------------|-----------------------|------------------|------
			|			|		   |
 CONTINUING		| CONTINUE		| yes		   |  2
			|			|		   |
|-----------------------|-----------------------|------------------|------
Kent M Pitman <KMP@STONY-BROOK.SCRC.Symbolics.COM>
ramsdell@linus.mitre.org (John D. Ramsdell)
|-----------------------|-----------------------|------------------|------
			|			|		   |
 COMPOSE-CONTINUATION	| CONTINUE		| no		   |  0
			|			|		   |
|-----------------------|-----------------------|------------------|------
|-----------------------|-----------------------|------------------|------
			|			|		   |
 CALL-WITH-CONTINUATION	| CONTINUE		| yes		   |  1
			|			|		   |
|-----------------------|-----------------------|------------------|------
Gyro@reasoning.com
|-----------------------|-----------------------|------------------|------


Other:
jar@zurich.ai.mit.edu (Jonathan Rees) voted for the generator first.