[racket-dev] Alpha-equivalence for Racket

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.koot at 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-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
>
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/dev
>



-- 
Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay

"The glory of God is Intelligence" - D&C 93