>
>
> 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.

Reply via email to