[racket-dev] Alpha-equivalence for Racket

From: Jos Koot (jos.koot at telefonica.net)
Date: Fri Mar 25 15:08:29 EDT 2011

I suppose Check Syntax already does alpha conversion. Anyway it
distinguishes between different bindings of the same identifier,

> -----Original Message-----
> From: dev-bounces at racket-lang.org 
> [mailto:dev-bounces at racket-lang.org] On Behalf Of Carl Eastlund
> Sent: 25 March 2011 19:52
> To: Racket Developers
> Subject: [racket-dev] Alpha-equivalence for Racket
> Has anyone ever implemented alpha-equivalence for fully expanded
> Racket programs?  It seems like it might be useful for testing macros,
> and I'd rather not duplicate effort if it's already been done.
> Carl Eastlund
> _________________________________________________
>   For list-related administrative tasks:
>   http://lists.racket-lang.org/listinfo/dev

Posted on the dev mailing list.