[racket-dev] Alpha-equivalence for Racket

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Fri Mar 25 15:10:36 EDT 2011

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



Posted on the dev mailing list.