Re: peval error

[Andy Wingo]

Hi Ludo,

On Tue 13 Sep 2011 10:04, address@hidden (Ludovic Courtès) writes:

> Andy Wingo <address@hidden> skribis:
>
>> I'm excited about the partial evaluator.

I'm still excited about it!

>>   (letrec ((fold (lambda (f x b null? car cdr)
>>                    (if (null? x)
>>                        b
>>                        (f (car x) (fold f (cdr x) b null? car cdr))))))
>>     (fold * x 1 zero? (lambda (x) x) (lambda (x) (- x 1))))
>>
> I believe this is now fixed:

Unfortunately it is not yet fixed.  The free variable `x' ends up as a
lexical ref, but without a binding.  Try it and see :)

Andy
-- 
http://wingolog.org/