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 R5RS _really_ said. The
correct expansion of the above expression is
((letrec ((loop (lambda (foo) foo))) loop) loop)
So Guile's behaviour is a bug. I'll investigate it.
- Named let Keisuke Nishida
- Re: Named let Marius Vollmer
- Marius Vollmer
