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

[David Van Horn]

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