[R6RS] revised^1 exception vote list

William D Clinger will at ccs.neu.edu
Sun May 14 19:32:19 EDT 2006


Mike wrote:
> Correct?  If not, could you explain?

Close, but not quite correct.  For technical reasons related
to the difficulty of describing the semantics Kent requested,
a plausible prefix is not a Scheme value, and therefore not 
a possible argument to any procedure.  Hence the explosive
locution in munition 22.

If you were to replace my definition of plausible prefix with
a definition that makes a plausible prefix into a Scheme
value, then your suggested "the last value xn of that prefix"
would make no sense, because there is no such thing as the
last value of a Scheme value; in particular, you would not be
able to express the dependence of xn upon timing and choices
of the preceding xi, as required by Kent's semantics.

Will



More information about the R6RS mailing list