Erratum: the region of bindings established by lambda expressions

[Daphne Preston-Kendal]

This error goes back to R5RS and is also present in R6RS.

Section 3.1 ‘Variables, syntactic keywords, and regions’:
‘The region is determined by the particular binding construct that establishes the binding; if the binding is established by a lambda expression, for example, then its region is the entire lambda expression.’

The region of a binding established by a lambda expression only encompasses the formals and body of the lambda expression, not the entire expression.

Otherwise an expression like (lambda (lambda) …) would introduce a paradox where ‘lambda’ must refer both to the ‘lambda’ syntactic keyword and to the variable bound by the expression.


Daphne

[Alex Shinn]

Thanks!  Do you have a proposal for an alternate wording?

--
You received this message because you are subscribed to the Google Groups "scheme-reports-wg1" group.
To unsubscribe from this group and stop receiving emails from it, send an email to scheme-reports-...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/scheme-reports-wg1/9D1D896E-142B-4687-9CBA-8DE5EDDDF929%40nonceword.org.