[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
peval error
From: |
Andy Wingo |
Subject: |
peval error |
Date: |
Sat, 10 Sep 2011 10:35:53 -0700 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux) |
Hi!
I'm excited about the partial evaluator. However there is one error
I've found:
(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))))
The expansion ends up with the body including lexical-refs to `car' and
`cdr', but they aren't bound in the letrec body.
Andy
--
http://wingolog.org/
- peval error,
Andy Wingo <=
- Re: peval error, Ludovic Courtès, 2011/09/10
- Re: peval error, Ludovic Courtès, 2011/09/13
- Re: peval error, Andy Wingo, 2011/09/15
- Re: peval error, Ludovic Courtès, 2011/09/15
- Re: peval error, Ludovic Courtès, 2011/09/16
- Re: peval error, Andy Wingo, 2011/09/16
- Re: peval error, Ludovic Courtès, 2011/09/17
- Re: peval error, Ludovic Courtès, 2011/09/17
- Re: peval error, Andy Wingo, 2011/09/17
- bug#9542: peval error, Ludovic Courtès, 2011/09/18