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
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
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
3 matches
Mail list logo