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 <[email protected]> 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 <[email protected]> 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 [email protected]. >> 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/JGVmzNf2epGhOGb3lynjl-cS0FqSSKAWL7Isqx9zwgIVAf578YevT-eJLfGCzBMOrSfRYAj0xt9cv01qp-lyYrcYHXlenfrfC4OFae3q6fU%3D%40sagegerard.com.
