Brian Mastenbrook wrote: > On Fri, 11 Sep 2009 09:28:14 -0500, David Van Horn > <[email protected]> wrote: > >> 1) Procedural macros (aka syntax-case macros) are hygienic so long as >> you do not explicitly bend hygiene. If you want to be a hygiene purist, >> you can still have procedural macros and outlaw `datum->syntax'. Eli's >> point is just as valid in such a context. > > You'll also have to outlaw `syntax->datum'. Otherwise, it's still > possible to bind identifiers unhygienically:
That contradicts R6RS: Macros defined using the syntax-case facility are also hygienic unless datum->syntax (see library section on "Syntax-object and datum conversions") is used. David _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
