[R6RS] When do define-bound variables get bound?

[Michael Sperber]

Robby noticed this when writing the semantics:

How should

(define x y)
(define y ...)

and

(define x x)

behave?

We have this wording:

>   This binds \hyper{variable} to a new location before assigning the
>   value of \hyper{expression} to it.

... which seems to suggest that the location is only created when
evaluation gets to the definition (and filled with an unspecified
value), just before the rhs expression is evaluated.

Am I right?

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla