[plt-scheme] redex

From: Jos Koot (jos.koot at telefonica.net)
Date: Wed Jan 21 07:19:31 EST 2009

I had a look into redex.


I carefully copy-pasted the example from

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 [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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20090121/37d047e0/attachment.html>

Posted on the users mailing list.