Re: [racket-users] Switch off type checking via typed/racket/no-check fails on typed big-bang
Thanks Ben. On Tue, Mar 31, 2020 at 4:41 AM Ben Greenman wrote: > On 3/25/20, Marc Kaufmann 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 > > 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+unsubscr...@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 > . > -- 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/CAD7_NO4YoYv_gw4xTpbK4w_nd1vmARV-tsSiGe3GFO%3D2VX--Qw%40mail.gmail.com.
Re: [racket-users] Switch off type checking via typed/racket/no-check fails on typed big-bang
On 3/25/20, Marc Kaufmann 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 -- 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/CAFUu9R5WDyc2RaR0kH4P%3DGUKVdsP-M7%3DF4R%3DfQiZsMRY4Gd1cg%40mail.gmail.com.
[racket-users] Switch off type checking via typed/racket/no-check fails on typed big-bang
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.
