<div dir="ltr">Thanks, I'll leave that lesson for another day! I've reverted back to using the non-typed predicate. I had originally done this as the first step to solving a chaperone problem with a hasheq being seen as a hash, but that was a bug with 5.3.6 since fixed in the git master branch, but switching to it (now off topic) broke my http client code, which is now fixed... Some days life with Racket is a drag, but the rest of the days make up for it :)</div>
<div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, Oct 19, 2013 at 11:25 AM, Asumu Takikawa <span dir="ltr"><<a href="mailto:asumu@ccs.neu.edu" target="_blank">asumu@ccs.neu.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 2013-10-19 10:26:22 -0700, Erik Pearson wrote:<br>
>    Type Checker: Type X could not be converted to a contract. in: X<br>
<br>
This is not a bug. To construct a predicate for a type, the type has to<br>
have a contract that can be immediately checked (like `number?`).<br>
<br>
That's not possible in general for a hashtable because it may be<br>
mutable, and its contents must be checked on any read or write.<br>
<br>
You may want to consider using a cast instead.<br>
<br>
Cheers,<br>
Asumu<br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br>Erik Pearson<br>Adaptations<br>;; web form and function 
</div>