[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: peval error

From: Andy Wingo
Subject: Re: peval error
Date: Thu, 15 Sep 2011 11:23:59 -0700
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux)

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 :)


reply via email to

[Prev in Thread] Current Thread [Next in Thread]