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