On Sat, Jul 22, 2017 at 9:53 AM, William D Clinger <xxxxxx@ccs.neu.edu> wrote:

Because the R7RS essentially retains the R5RS prose, which said nothing
about the matter and had therefore been interpreted as allowing both the
splicing semantics and the new contour semantics, the R7RS is also being
interpreted as allowing both the splicing semantics and the new contour
semantics.

The relevant prose from the R5RS is in section 5.2.2 "Internal definitions:"

Definitions may occur at the beginning of a <body> (that is, the body of

a 'lambda', 'let', 'let*', 'letrec', 'let-syntax', or 'letrec-syntax'

expression or that of a definition of an appropriate form). Such

definitions are known as _internal definitions_ as opposed to the top

level definitions described above. The variable defined by an internal

definition is local to the <body>. That is, <variable> is bound rather

than assigned, and the region of the binding is the entire <body>.

I don't see how this can be interpreted in such a way that

splicing is allowed (more's the pity).

Alex