[plt-scheme] scope of module exports

From: Jens Axel Søgaard (jensaxel at soegaard.net)
Date: Tue Dec 12 14:48:18 EST 2006

Matthias Felleisen skrev:
> No, Jon just forgot that he needed stx not #'stx. [I communicated with 
> him directly.] -- Matthias

Ah! I too overlooked that.

The results of

   (datum->syntax-object stx 'foo)

      (datum->syntax-object #'stx 'foo)

end up with the same marks.

Hard pressed I'll admit the first is slightly easier to read ;-)

Would the text in 12.3.5 still be correct, if it worded were like this:?

   When a top-level definition binds an identifier x that originates from
   a  macro expansion, the definition captures only uses of an
   identifier y, if (bound-identofier=? x y) is true.

Jens Axel Søgaard

Posted on the users mailing list.