Am Sa., 26. Sept. 2020 um 03:05 Uhr schrieb Jim Rees <[email protected]>:
> Whoa, hold the front door.... Please see my latest reply to John; in my initial example, I used the wrong identifier for forging. Does this already clear the confusion I have regrettably caused? > Now a few things are starting to click based on our past conversations. > Your exported identifiers always include the full context from the library > top-level -- yes? Mine do not -- I only emit an a-list of name->label pairs > for the exported identifiers, and then all of the label->binding mappings > regardless of export. Any literal syntax object (produced by syntax) that > could be a variable value, or returned by a procedure or macro will contain > the full context (at their point of evaluation), so macro output can contain > references to non-exported identifiers. Yes, this is not only true with your implementation but universally true. :) Marc
