[plt-scheme] Macros and quasi-quotation

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Sun Feb 16 20:32:53 EST 2003

At Sun, 16 Feb 2003 00:11:42 +0100, Jens_Axel_Søgaard wrote:
>   > (define-macro (a) 1)
>   > (define-macro (b) (a))
>   > (b)
>   . reference to undefined identifier: a
>   > (a)
>   1
> 
> Is this intensional?

Yes. Expansion-time expressions cannot directly reference top-level
bindings. (It's not just that MzScheme disallows it; the rules of
binding scope prevent direct references.)

Matthew



Posted on the users mailing list.