Hi Ludo, On Tue 13 Sep 2011 10:04, [email protected] (Ludovic Courtès) writes:
> Andy Wingo <[email protected]> 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/
