Another solution: If you are inside DrRacket, you can use the button "Check Syntax".
Gustavo On Fri, Feb 21, 2020 at 2: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 > <https://groups.google.com/d/msgid/racket-users/b8922e9a-524f-4c2d-b716-c857914e7107%40googlegroups.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/CAPaha9OqF9x8E8Uqn1PvSuy2UhBV4z8E%2BmbJ60agt5kAOMvzJQ%40mail.gmail.com.
