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 -- 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/650c64c5-370e-4bc6-855c-5e6745ef53e8%40googlegroups.com.
