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?
Lynn _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
