On Oct 20, 7:54 pm, Derick Eddington <[email protected]>
wrote:
> On Tue, 2009-10-20 at 05:47 -0700, jhaase wrote:
> > I have a version that passes the recursion, equality and mutual
> > recursion test
>
> Can your version handle this?:
>
>   (let ()
>     (define-integrable (even? n) (or (zero? n) (m-odd? (- n 1))))
>     (define-integrable (odd? n) (not (m-even? n)))
>     (define-syntax m-odd? (syntax-rules () ((_ x) (odd? x))))
>     (define-syntax m-even? (syntax-rules () ((_ x) (even? x))))
>     (even? 5))

No, this seems to go into an infinite expansion loop. I have to think
about this some more tomorrow.

Greetings,
Juergen

Reply via email to