[racket] What am I doing wrong in this typed racket program?

Develop in Dr. Watch type errors at bottom. 


On Sep 19, 2012, at 2:19 PM, Tony Garnock-Jones wrote:

> On 09/18/2012 05:53 PM, Sam Tobin-Hochstadt wrote:
>> It's not obvious to me if this can be detected statically, but you can
>> work around this by changing `Any` to some other type.
> 
> Thanks for the explanation.
> 
> It took me a long time to narrow it down to the minimal example I gave (starting from a hundred lines or so of type definitions). It took me a long time to see the "set/c" as the vital clue it was, and there's no mention of "Any" anywhere. Having a line number would have helped immensely.
> 
> I was also not thinking in terms of typed-to-untyped interaction---I was thinking "oh, this will provide the types and the values to other TR programs"---so the appearance of contracts was sudden and surprising.
> 
> Regards,
>  Tony
> ____________________
> Racket Users list:
> http://lists.racket-lang.org/users

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4373 bytes
Desc: not available
URL: <http://lists.racket-lang.org/users/archive/attachments/20120919/78404afb/attachment.p7s>