> > > do you have the latest racket 5.1 release? > > I turn out to have 5.0.1.7; I wasn't aware of relevant changes so I didn't perform any upgrades.
I'll update and see whether that helps. Thanks. Kas.
> > > do you have the latest racket 5.1 release? > > I turn out to have 5.0.1.7; I wasn't aware of relevant changes so I didn't perform any upgrades.
I'll update and see whether that helps. Thanks. Kas.