Re: [Scheme-reports] Multiple values in BEGIN

[Jussi Piitulainen <jpiitula@x>]

Andre van Tonder writes:
> On Fri, 6 May 2011, John Cowan wrote:
> > Ian Price scripsit:
> >
> >> "The continuations of all non-final expressions within a sequence of
> >> expressions, such as in lambda, begin, let, let*, letrec, letrec*,
> >> let-values, let*-values, case, and cond forms, usually take an
> >> arbitrary number of values."
> >
> > Ticket filed.
> 
> Only non-final expressions, though?
> 
> I don't like that restriction, because equivalence of the following two 
> expressions should be to me a fundamental property of BEGIN:
> 
>    (begin
>      (begin
>        exp1)
>      exp2))
> 
> and
> 
>    (begin
>      exp1
>      exp2)
> 
> But with ths stated restriction, they are not equivalent.

What difference do you see? These seem equivalent to me whether or not
the non-final expressions in a sequence are required to return exactly
one value.

I would like any number of values allowed, as in R6RS. (I don't know
why it says "usually".)


_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports