Aaron W. Hsu scripsit:

> > In otehr words, definitions introduced in macros can possibly shadow
> > toplevel bindings, which is a major obstacle to safe hygienic macro
> > programming.
>
> More than a major obstacle, I would argue that this violates hygiene
> and should not be allowed in Scheme's hygienic macros.

On that principle, how can you write a macro like define-record-type
that defines (and potentially redefines, at least in the REPL) various
identifiers?

--
Cash registers don't really add and subtract;           John Cowan
        they only grind their gears.                    cowan@ccil.org
But then they don't really grind their gears, either;
        they only obey the laws of physics.  --Unknown

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports