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 <[email protected]>: > I suppose Check Syntax already does alpha conversion. Anyway it > distinguishes between different bindings of the same identifier, > Jos > >> -----Original Message----- >> From: [email protected] >> [mailto:[email protected]] 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 <[email protected]> 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
