[R6RS] Internal DEFINE vs. macros

Matthew Flatt mflatt
Wed Apr 13 08:16:34 EDT 2005

At Sat, 09 Apr 2005 15:07:16 +0200, Michael Sperber wrote:
> - Is it important to precisely define the semantics of macro
>   expansion?  (I would say yes---people run across ambiguities in R5RS
>   macros.  Manuel has just pointed out that others lurk in other
>   corners of the hygienic macro system.)

I'd say "yes", too.

> - Kent and Matthew: can you offer suggestions on how to specify the
>   semantics of internal DEFINE-SYNTAX?  Is there a simple way to do
>   it?

I'll leave it to Kent.

> - How far should we make the top level and local environments
>   analogous?  In the abstract, it seems a desirable goal to make them
>   as analogous as possible, but to me, it also seems quite difficult
>   and complicated.  If they don't work the same way, the more similar
>   they look, the harder it becomes to explain the differences.

Module-level syntax definitions and internal definitions are not quite
the same in PLT. I'd like to fix that, probably by adopting what (I
think) Kent will describe for internal definitions.


More information about the R6RS mailing list