I think we should change &#39;case&#39;. <div><br></div><div>I think we should also add a clear note to the documentation for case saying &quot;this is not the same as &#39;case&#39; in Scheme because it uses equal?, not eqv?&quot; and giving a few examples to show the difference to head off any confusion.</div>
<div><br></div><div>Robby<br><br>On Monday, November 26, 2012, Jon Zeppieri  wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">The &#39;case-check&#39; branch of my github fork now implements Robby&#39;s<br>

suggestion. [<a href="https://github.com/97jaz/racket/tree/case-check" target="_blank">https://github.com/97jaz/racket/tree/case-check</a>]<br>
<br>
I ran the full build (including documentation), ran<br>
collects/tests/run-automated-tests.rkt, and started up and played<br>
around with DrRacket. The only logged messages were from the tests I<br>
added, which specifically test the new behavior.<br>
<br>
-Jon<br>
<br>
On Sun, Nov 25, 2012 at 11:29 PM, Jon Zeppieri &lt;<a href="javascript:;" onclick="_e(event, &#39;cvml&#39;, &#39;zeppieri@gmail.com&#39;)">zeppieri@gmail.com</a>&gt; wrote:<br>
&gt; Thanks! -J<br>
&gt;<br>
&gt; On Sun, Nov 25, 2012 at 10:59 PM, Sam Tobin-Hochstadt &lt;<a href="javascript:;" onclick="_e(event, &#39;cvml&#39;, &#39;samth@ccs.neu.edu&#39;)">samth@ccs.neu.edu</a>&gt; wrote:<br>
&gt;&gt; On Sun, Nov 25, 2012 at 10:50 PM, Jon Zeppieri &lt;<a href="javascript:;" onclick="_e(event, &#39;cvml&#39;, &#39;zeppieri@gmail.com&#39;)">zeppieri@gmail.com</a>&gt; wrote:<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt; Is there a way to give check-em a type for TR without breaking it for<br>
&gt;&gt;&gt; non-typed code?<br>
&gt;&gt;<br>
&gt;&gt; Yes, you should add an entry to typed-racket/base-env/base-special-env<br>
&gt;&gt; for `check-em`.  Note that you&#39;ll have to specify which module<br>
&gt;&gt; `check-em` is defined in.<br>
&gt;&gt;<br>
&gt;&gt; --<br>
&gt;&gt; sam th<br>
&gt;&gt; <a href="javascript:;" onclick="_e(event, &#39;cvml&#39;, &#39;samth@ccs.neu.edu&#39;)">samth@ccs.neu.edu</a><br>
</blockquote></div>