[Scheme-reports] 5.3 Syntax Definitions Jonathan Kraut (02 Jun 2011 15:25 UTC)
Re: [Scheme-reports] 5.3 Syntax Definitions John Cowan (02 Jun 2011 15:47 UTC)

[Scheme-reports] 5.3 Syntax Definitions Jonathan Kraut 02 Jun 2011 15:20 UTC

I hope WG1 will reconsider lifting the restriction that "any internal
syntax definitions in a body must come before any internal definitions."

Sometimes I write macros that expand into both definitions and syntax
definitions. If this restriction stands I won't be able to reliably use
those macros in <bodies> (and nor would anyone else).

Also, there's already a context where interleaving definitions and
syntax definitions is allowed - a module's set of commands and
definitions. Since a module's comdef set might also be viewed as
behaving like a 'letrec*' expression, similar to a <body> (the spec is
vague on this), the only difference between comdef sets and <bodies> is
where expressions may appear. Or at least it could be that way if this
restriction were lifted.

Thanks,
Jon

--
Jonathan Kraut
NYC
jak76@columbia.edu

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