How do I just run the type checker?

[Marc Kaufmann]

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

[Sam Tobin-Hochstadt]

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

> --
> 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...@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.

[Marc Kaufmann]

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
<marc.ka...@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...@googlegroups.com.

[David Florness]

Sam Tobin-Hochstadt <sa...@cs.indiana.edu> writes:

> 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.

Question about this: if, after runing `raco make server.rkt` I run
`racket server.rkt`, will the bytecode be used?

Thanks

--
David

[Ben Greenman]

On 2/21/20, 'David Florness' via Racket Users

yes

[Gustavo Massaccesi]

Another solution: If you are inside DrRacket, you can use the button "Check Syntax".

Gustavo

--

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...@googlegroups.com.