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 <marc.kaufman...@gmail.com> 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 racket-users+unsubscr...@googlegroups.com. > 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 racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAK%3DHD%2BapBjywcVuDQYqQgSdeYu2R%2BKR3nyGW8yp2ku-fLzGajA%40mail.gmail.com.
