[plt-scheme] redex

I had a look into redex.

IT'S GREAT!

I carefully copy-pasted the example from
http://redex.plt-scheme.org/lam-v.html

I don't yet understand how it avoids looping on
(traces red (term ((λ (x) (x x)) (λ (x) (x x)))))
but I'll study on that. 

However, when I try:

(traces red (term ((λ (x) (x x x)) (λ (x) (x x x)))))

I get:

Welcome to DrScheme, version 4.1.4.1-svn17jan2009 [3m].
Language: Module; memory limit: 1000 megabytes.
syntax: incompatible ellipsis match counts for template in: ...
No indication where.

I carefully checked all ellipses, but cannot find any improper use.

I also noticed that
(traces red (term (((λ x (λ y x)) y) z)))
does not contract.
That's due to the capture avoidance.
I'll try to add alpha conversion for this case.
Jos
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20090121/37d047e0/attachment.html>