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
smime.p7s
Description: S/MIME cryptographic signature
____________________ Racket Users list: http://lists.racket-lang.org/users
