Re: Recursive environments (closures-related)

> I've done it differently and I'd like to know if my solution is
> wrong. I first interpret the value of the binding and bind it to its
> name creating a new environment. If the new value is a procedure then
> I change its environment for the new one (the one that contains a
> reference to itself) effectively creating the recursive
> environment.


Whether this is correct depends on whether there can
be objects inside the closure with their own copies
of the environment that was used during the "interpret the value" step.
I would imagine that there can be, and therefore that
this is not correct.


For example, if we tweak your example so you are compiling


(let* ((r (lambda (x)
                        (let ((x' x))
                            (if (zero? x')
                                    x'
                                    (r (- x' 1))))))
    (r 10))


then I would imagine that the inner let creates an environment
containing the x' binding, and that when you patch up the
environment for the lambda closure, you do not also patch up
the environment for the inner let.


Russ

Return to the comp.compilers page.
Search the comp.compilers archives again.