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 <[email protected]> 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]. > 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAPaha9OqF9x8E8Uqn1PvSuy2UhBV4z8E%2BmbJ60agt5kAOMvzJQ%40mail.gmail.com.
