Re: JACAL, scm

[Neil Jerram]

>>>>> "Aubrey" == Aubrey Jaffer <address@hidden> writes:

    guile> (let ((f -)) (let f ((n (f 1))) n)) ==> 1

    Aubrey> But Allegro Petrofsky, Radey, and I think it should return
    Aubrey> -1.

The error here is that Guile transforms

(let name ((var init) ...) body ...)

to

(letrec ((name (lambda (var ...) body ...)))
  (name init ...))

This is wrong, because the init's are evaluated inside the environment
that includes a binding for name.  It should instead be

((letrec ((name (lambda (var ...) body ...))) name) init ...)

Now we just need to translate that into code :-)  Anyone?

        Neil