Not exactly, Check Syntax is looking at the binding information in the syntax objects to connect bindings and bound occurrences. Carl wants to compare two syntax objects.
2011/3/25 Jos Koot <jos.k...@telefonica.net>: > 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 > -- Jay McCarthy <j...@cs.byu.edu> Assistant Professor / Brigham Young University http://faculty.cs.byu.edu/~jay "The glory of God is Intelligence" - D&C 93 _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev