Switch off type checking via typed/racket/no-check fails on typed big-bang

[Marc Kaufmann]

Hi,

I am trying to switch off type checking on a file so that I can prototype faster without the wait for the type checker. However, my code also uses typed/2htdp/universe and typed/2htdp/image, and I get an error on `big-bang`:

> Type Checker: Macro big-bang from typed module used in untyped code in: (big-bang ...

So, is there a to run the program without running the type checker? Relatedly, is there a way of reloading a *typed* racket file in the REPL (I can't get it to work with ,reload-require which just chokes somehow).

I could hack around this by having the big-bang be in an untyped submodule - but doing this only so that I can have a faster developing loop (I will already have to switch between #lang typed/racket and #lang typed/racket/no-check enough) seems a bit dodgy.

Cheers,
Marc

[Ben Greenman]

On 3/25/20, Marc Kaufmann <marc.ka...@gmail.com> wrote:
> Hi,
>
> I am trying to switch off type checking on a file so that I can prototype
> faster without the wait for the type checker. However, my code also uses
> typed/2htdp/universe and typed/2htdp/image, and I get an error on
> `big-bang`:
>
>> Type Checker: Macro big-bang from typed module used in untyped code in:
> (big-bang ...
>
> So, is there a to run the program without running the type checker?

No, you'll need a hack-around to avoid the macro issue.

This macro+use might be safe, but in general TR can't be sure that
expanding a macro won't break the typed module.

> Relatedly, is there a way of reloading a *typed* racket file in the REPL (I
> can't get it to work with ,reload-require which just chokes somehow).

I don't know about this

[Marc Kaufmann]

Thanks Ben.

Do you know why it is difficult to get working - as in, whether it's worth investigating? My workflow with Typed Racket requires far too many restarts of the REPL. I am just wondering what a saner workflow would look like that still allows for some quick and (typed) dirty prototyping.

Cheers,

Marc

 

--
You received this message because you are subscribed to a topic in the Google Groups "Racket Users" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/racket-users/40cX2FYaECs/unsubscribe.
To unsubscribe from this group and all its topics, send an email to racket-users...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAFUu9R5WDyc2RaR0kH4P%3DGUKVdsP-M7%3DF4R%3DfQiZsMRY4Gd1cg%40mail.gmail.com.