[plt-scheme] redex: recursive metafunctions

From: Eric Tanter (etanter at dcc.uchile.cl)
Date: Sat May 2 12:14:06 EDT 2009

>> In addition,
>> recursive calls in the right-hand side of the metafunction clauses  
>> should
>> appear inside term."
> This sentence is at best confusing and at worse just plain wrong
> depending on how you read it. I've just cut it from the docs.

good! I must have read it 100 times trying to figure out what it  

thanks for the debugging, it now works perfectly (sorry it was so  
trivial ;))

-- Éric

Posted on the users mailing list.