I agree that such a tool would be very useful and awesome. One coherent thing might be a way to create a piece of data in the info file that lists which modules & collections go in which packages in a "virtual" way and have them split by "raco pkg", then extend that language with the ability to splice out a submodule.
(A goal of mine in the past, in a very early version of the new package system, was a way to hide whether a module like A/B/C was in the file "A/B/C.rkt" or whether it was actually submodule C of submodule B of module A. If you had that, then Racket source files and bytecode would be like their own archive/JAR-like format.) Jay On Mon, Mar 26, 2018 at 4:21 PM, Greg Hendershott <greghendersh...@gmail.com> wrote: > p.s. The work to do this, has to be worth it if only for the resulting > paper title: "You Want When Where?" > > On Mon, Mar 26, 2018 at 4:16 PM, Greg Hendershott > <greghendersh...@gmail.com> wrote: >> It's a shame because Racket has such a wonderful story for test and >> srcdoc submodules. >> >> You're not forced to segregate each kind of thing in fussy >> subdirectories. On the contrary, if you want, you can even mix them >> within the same source file. Having that choice for projects is nice! >> Losing it for "split" packages... isn't nice. >> >> It's especially a shame for smaller packages. More ceremonial busywork >> external to the language, seems un-Rackety. >> >> raco test knows how to find the test files and submodules. I wish it >> weren't so difficult for raco pkg to figure out how to extract the >> run-, test-, and doc-time parts, and handle the bureaucracy for the >> package catalog. -- -=[ Jay McCarthy http://jeapostrophe.github.io ]=- -=[ Associate Professor PLT @ CS @ UMass Lowell ]=- -=[ Moses 1:33: And worlds without number have I created; ]=- -- 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.
