In the case of a binding appearing in an outer scope and redefined in an inner scope after its use in a definition of that inner scope, the correct interpretation of the current R7RS draft is that the binding refer to the redefinition in the inner scope, just as if there were no outer binding. If the the inner scoped binding is syntax then it is an error, in which case the R6RS behavior would be allowed (as well as nasal daemons of course).