[r6rs-discuss] [Formal] Inappropriate number of values should be defined

From: David Van Horn <dvanhorn>
Date: Mon Jan 22 12:20:28 2007

John Cowan wrote:
> David Van Horn scripsit:
>
>> But `begin' allows that expression to evaluate to zero or more values.
>
> Where in R5.92RS does this statement appear? Not under "begin", and not
> under "values", which is the source of the claim that it's an error to
> pass an inappropriate number of values to any continuation not created
> by call-with-values. There is an ad hoc remark about begin-expressions
> being allowed to return zero or more values in Section 8, which deals with
> expanding macros in top-levele bodies, but nowhere else that I can find.

I took this from the ad-hoc remarks at the end of Section 8. The formal
semantics imply this behavior as well, namely rule [6beginc]. The text
describing `begin', Section 9.5.7, could certainly be more explicit.

David
Received on Mon Jan 22 2007 - 12:19:59 UTC