Hi all, I have improved my question. In asking it, I'm trying to make sure I understand things so that I can ultimately ask fewer questions (about this). Apologies for the verbosity; it exposes more surface for confusion to be corrected.
I read Matthew's "Macros as scopes" last night before going to bed; I cannot claim it was my best reading. That said, it gave me enough to sleep on, strip out some mess this morning, and ask a better question. https://gist.github.com/jadudm/2a1960867223773f09aef41ec551bd3f Now, I get errors that look like what I saw in the scopes paper. This strikes me as good. In the example code (in "scopes-use"), 'current-agent' is defined at Phase 0. "current-agent" in the first use, in "scopes-use" Scopes at phase 0: #(339342 module) #(339349 module scopes-use) "current-agent" as it appears in the macro expansion: Scopes at phase 0: #(-337432 module scopes-base) #(-337431 module scopes-base) #(-337422 module) #(-337421 module) #(339349 module scopes-use) #(339369 macro) #(339634 macro) The full error (which is probably obvious from what I've now presented) is current-agent: unbound identifier context...: #(-337432 module scopes-base) #(-337431 module scopes-base) #(-337422 module) #(-337421 module) #(339753 macro) #(340018 macro) #(340044 local) #(340045 intdef) #(340046 local) #(340047 intdef) #(340049 local) #(340051 local) #(340052 intdef) #(340054 local) #(340061 intdef) #(340066 local) #(340067 intdef) #(340070 local) #(340071 intdef) #(340073 local) #(340074 intdef) [common scopes] other binding...: #(current-agent #<module-path-index='scopes-use[36514925]> 0) #(339726 module) [common scopes] common scopes...: #(339733 module scopes-use) What I'm uncertain of is how to reconcile the scopes for the macro expansion. I've reached my current understanding of how friends like syntax/loc, and perhaps more specifically, a macro-expanding-to-a-macro, play with the scope expansions. It may be that I can't do what I want to do. Cheers, Matt On Tue, Dec 11, 2018 at 9:13 PM Matt Jadud <m...@jadud.com> wrote: > Ha! A new question! > >> >>>> -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
