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/CADcuegv3rvqkohBNB9SRP5ZEVpyfzx8_eeRbFy694FMEB-ph7w%40mail.gmail.com.
