[plt-scheme] scope of module exports

[Jens Axel Søgaard]

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)

   (syntax-local-introduce
      (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