Hi Stephan, The "submodules to run" drop-down menu lets you choose which submodules will be executed when you click the "Run" button. For example, if you have a main submodule and a test submodule, DrRacket will run those 2 submodules by default. You can avoid running tests in the test submodule by unselecting it from the "submodules to run" menu. Similarly, perhaps your main submodule parses the command line arguments and performs some I/O which you would like to avoid when doing interactive development and restarts the REPL. That's what I mostly use that menu for.
AFAIK, there's no support for running a submodule in DrRacket REPL. Shu-Hung On Thu, Dec 13, 2018 at 4:28 AM Stephen De Gabrielle <spdegabrie...@gmail.com> wrote: > > Hi, > > I suppose a better question is what do any racketeers use ‘submodules to run’ > in DrRacket? And if so- what for? > > Stephen > > On Wed, 12 Dec 2018 at 00:21, Stephen De Gabrielle <spdegabrie...@gmail.com> > wrote: >> >> Hi, >> >> #lang racket >> (displayln "This is the main module") >> (module+ drracket >> (define foo 'FOO) >> (displayln "This is the drracket submodule")) >> >> Execute and DrRacket displays "This is the main module" in the interactions >> window >> type >> (require (only-in racket/enter dynamic-enter!) >> (only-in syntax/location quote-module-path)) >> (dynamic-enter! (quote-module-path drracket)) >> >> and bindings defined in the submodule are then available; e.g. >> > foo >> 'FOO >> >> Why and how do I use this for interactive development, scripting and >> debugging? >> >> There is also a DrRacket function (Submodules to Run), but I can't find any >> documentation for it. >> >> >> Stephen >> >> > -- > ---- > > -- > 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. -- 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.