Marius Vollmer [EMAIL PROTECTED] writes:
Keisuke Nishida [EMAIL PROTECTED] writes:
Hello,
Is this a bug?
% guile
guile (let loop ((foo loop)) foo)
#procedure loop (foo)
R5RS says variable is bound within body.
[rubish]
Sorry, I did not look close enough what
Hello,
Is this a bug?
% guile
guile (let loop ((foo loop)) foo)
#procedure loop (foo)
R5RS says variable is bound within body.
?
According to the formal semantics in R5RS, the named let expression
above is equivalent to
(letrec ((loop (lambda (foo) foo))) (loop loop))
As you can see, the initialization expressions are evaluated in the
body of the `letrec', and `loop' is clearly bound there.
So I would say that your
