[racket-dev] Alpha-equivalence for Racket

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

> -----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