[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Multiple values for R4RS



   Posted-From: The MITRE Corp., Bedford, MA
   X-Alternate-Route: user%node@mbunix.mitre.org
   Posted-Date: Thu, 31 Aug 89 08:13:52 EDT
   From: ramsdell@linus.mitre.org
   Date: Thu, 31 Aug 89 08:13:52 EDT


   Here is attempt at the changes required in
   call-with-current-continuation.

   Replace the last sentence in the first paragraph with:

     The escape procedure is a Scheme procedure which when called, will
     ignore whatever continuation is in effect at that later time and will
     give its arguments to the continuation that was in effect when the
     escape procedure was created.  Within a with-values expression, the
     arity of the escape procedure which packages the continuation in
     effect when the generator is called must match that of the receiver.
     All other escape procedures must accept at least one argument.  Some
     implementions may choose to ignore extra arguments, others may signal
     an error when more then one argument is given.

Once again I will try my hand at an alternative set of prose.

The escape procedure is a Scheme procedure which when applied to a
value(s) will ignore whatever continuation is in effect at the time of
application and will instead give its argument(s) to the continuation
that was in effect when the escape procedure was created.  The arity
of an escape procedure created in the 'generator' position of a
'with-values' form must match that of the 'receiver'.  All other
escape procedures must accept at least one argument.  Some
implementions may choose to ignore extra arguments, others may signal
an error when more then one argument is given.

-------------------------------------------------------------------------------
Morry Katz
katz@polya.stanford.edu
-------------------------------------------------------------------------------