Re: [Scheme-reports] 5.3 Syntax Definitions Andre van Tonder (04 Jun 2011 00:52 UTC)
Re: [Scheme-reports] 5.3 Syntax Definitions Alex Shinn (04 Jun 2011 07:02 UTC)
Re: [Scheme-reports] 5.3 Syntax Definitions Andre van Tonder (04 Jun 2011 14:08 UTC)
Re: [Scheme-reports] 5.3 Syntax Definitions Alex Shinn (05 Jun 2011 09:41 UTC)
Re: [Scheme-reports] 5.3 Syntax Definitions John Cowan (05 Jun 2011 20:19 UTC)

Re: [Scheme-reports] 5.3 Syntax Definitions John Cowan 05 Jun 2011 20:19 UTC

Andre van Tonder scripsit:

>     An internal (syntax-)definition must not shadow any identifier
>     whose binding (or lack of binding) in surrounding code has already
>     affected the expansion of preceding portions of the body or of the
>     (syntax-)definition itself.

But does that mean the actual expansion, or merely the potential
expansion?  Most R5RS implementations actually expand macros when a
(non-syntax) definition in which they are used appears and assumes that
forms of the form (foo ...), where foo is unknown, are procedure calls
rather than macro invocations.  But SCM and Wraith don't.

--
After fixing the Y2K bug in an application:     John Cowan
        WELCOME TO <censored>                   cowan@ccil.org
        DATE: MONDAK, JANUARK 1, 1900           http://www.ccil.org/~cowan