I suppose Check Syntax already does alpha conversion. Anyway it distinguishes between different bindings of the same identifier, Jos
> -----Original Message----- > From: dev-boun...@racket-lang.org > [mailto:dev-boun...@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 _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
