Re: [racket-users] Switch off type checking via typed/racket/no-check fails on typed big-bang

2020-04-01 Thread Marc Kaufmann
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

Re: [racket-users] Switch off type checking via typed/racket/no-check fails on typed big-bang

2020-03-30 Thread Ben Greenman
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

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

2020-03-25 Thread 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