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

Michael Sperber sperber at informatik.uni-tuebingen.de
Wed Jan 10 08:45:17 EST 2007

Robby noticed this when writing the semantics:

How should

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


(define x x)


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

More information about the R6RS mailing list