| Date: Fri, 11 Sep 2009 22:55:00 -0400 | From: Lynn Winebarger <[email protected]> | | On Fri, Sep 11, 2009 at 10:46 PM, Aubrey Jaffer<[email protected]> wrote: | > | Date: Wed, 9 Sep 2009 00:30:18 -0400 | > | From: Lynn Winebarger <[email protected]> | > | | > | ... | > | The advent of hygeinic macros marked the end of the era in which | > | symbols could be equated with identifiers. Identifiers have a lot | > | more information in them. | > | > The SLIB implementations of syntactic-closures, syntax-case, | > syntax-rules, and macros-that-work all generate vanilla R4RS code | > (with no macros) from the source code having hygienic (and | > non-hygienic) macros. | > | > This would seem to contradict your claim that identifiers can't be | > equated with symbols. | > | > The Scheme compilers I have written macro-expand all input source in | > order to deal with simplified expressions containing symbols, not | > identifiers. | > | And are the symbols used in the expansion process and the output code | that corresponding to identifiers in the input code eq? to the original | identifier?
Expanding the hygienic macro for CASE, both macros-that-work and syntactic-closures rename only lambda-bound variables. _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
