I've added an example of this to the documentation.<br><br>Sam<br><div class="gmail_quote">On Sat Jan 17 2015 at 9:48:36 PM Matthias Felleisen <<a href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
On Jan 17, 2015, at 9:32 PM, Sam Tobin-Hochstadt wrote:<br>
<br>
> No, it can't be adapted. That error message is an instance of this<br>
> caveat: <a href="http://docs.racket-lang.org/ts-guide/caveats.html#%28part._.Typed-untyped_interaction_and_contract_generation%29" target="_blank">http://docs.racket-lang.org/<u></u>ts-guide/caveats.html#%28part.<u></u>_.Typed-untyped_interaction_<u></u>and_contract_generation%29</a><br>
> which applies to `define-predicate` as well. There's no way to check<br>
> if something is a `Foo`, because Typed Racket wouldn't know what you<br>
> meant for `A` to be.<br>
<br>
<br>
I think the section [title] is misleading here. You need to know<br>
TR's ideas well to see that the generation of a run-time object<br>
is the same thing as moving from the typed to the untyped world<br>
(and vice versa).<br>
<br>
Perhaps an example like Jordan's could be included in the docs.<br>
<br>
-- Matthias<br>
<br>
<br>
____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/<u></u>users</a><br>
</blockquote></div>