Ah, thank you. I didn't think that the original syntax object would have the lexical information I needed. For some reason I thought about constructing a syntax object using the name pattern variables and using that instead.
~slg ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐ On Sunday, September 6, 2020 10:15 PM, Sorawee Porncharoenwase <sorawee.pw...@gmail.com> wrote: > I think it’s only enough to fabricate the #%info-* identifiers. For example, > in the file you linked above, you can add: > > [#%info-domain (datum->syntax stx '#%info-domain)] > > to with-syntax, and provided that you provide #%top-interaction, you should > be able to use #%info-domain in the REPL. > > On Sun, Sep 6, 2020 at 5:53 PM Sage Gerard <s...@sagegerard.com> wrote: > >> I'm writing a variant of >> [setup/infotab](https://github.com/racket/racket/blob/master/racket/collects/setup/infotab.rkt) >> to allow `#%top-interaction' plus some other bindings of my choice. But >> when I create a evaluator in the context of such a module, `#%info-domain' >> and `#%info-lookup' are not bound. I'd like to use a REPL to access these >> procedures. >> >> Is there a cleaner way to make the #%info-* procedures use the same lexical >> context without forcing each through syntax->datum and datum->syntax? >> >> ~slg >> >> -- >> 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. >> To view this discussion on the web visit >> [https://groups.google.com/d/msgid/racket-users/HXI6OiTdOS3GiXhHp6tG2xC6vTPzNPublNDjosc_vQfNDtIrU1XjmheFOPoQLGQ4rmzmgOzbkRMJ-p1FvZngtIjLU-JAfVKHS0ZE6_wUstc%3D%40sagegerard.com](https://groups.google.com/d/msgid/racket-users/HXI6OiTdOS3GiXhHp6tG2xC6vTPzNPublNDjosc_vQfNDtIrU1XjmheFOPoQLGQ4rmzmgOzbkRMJ-p1FvZngtIjLU-JAfVKHS0ZE6_wUstc%3D%40sagegerard.com?utm_medium=email&utm_source=footer). -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/JGVmzNf2epGhOGb3lynjl-cS0FqSSKAWL7Isqx9zwgIVAf578YevT-eJLfGCzBMOrSfRYAj0xt9cv01qp-lyYrcYHXlenfrfC4OFae3q6fU%3D%40sagegerard.com.
