Fantastic, that's what I was looking for, thanks. Marc
On Friday, February 21, 2020 at 6:27:23 PM UTC+1, Sam Tobin-Hochstadt wrote: > > If you compile the file with `raco make server.rkt` then it will run > the type checker as part of compilation. Furthermore, it will run > faster the next time since it won't have to re-compile. > > Sam > > On Fri, Feb 21, 2020 at 12:13 PM Marc Kaufmann > <[email protected] <javascript:>> wrote: > > > > Hi, > > > > the way I currently check my web server is by simply running `racket > server.rkt` on the command line. However, this also launches the server, > which I usually do want to, but not always. So is there a way to run just > the type checker -- plus all the compile-time stuff that needs to happen > for this -- without anything else? The best I have managed is to put the > most time-consuming commands that I run into `(module+ main ...)`, but that > still does more than than just run the type checker. > > > > Secondly, is it possible to somehow speed up subsequent type checks by > caching something before? > > > > Cheers, > > Marc > > > > -- > > 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] <javascript:>. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/b8922e9a-524f-4c2d-b716-c857914e7107%40googlegroups.com. > > > -- 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/92d2cf1b-da1b-4d7f-89ce-8429d07ee9e9%40googlegroups.com.
