<div dir="ltr"><div>This</div><div><br></div><div>#lang typed/racket</div><div>(define-type X (HashTable Symbol String))</div><div>(define-predicate x? X)</div><div><br></div><div>in drracket 5.3.6, gives me</div><div><br>
</div><div>Type Checker: Type X could not be converted to a contract. in: X<br></div><div><br></div><div>This is reduced out of a more complex type (jsexpr). Removing this bit removes the error. Is this is a bug? If so, is it easy enough to fix?</div>
<div><br></div><div>I can revert to the non-typed library for now, but have just starting to convert my app over to typed/racket...<br></div><div><br></div><div>Thanks, Erik.</div><div><br></div><div><br></div><div><br></div>
</div>