I think we should change 'case'. <div><br></div><div>I think we should also add a clear note to the documentation for case saying "this is not the same as 'case' in Scheme because it uses equal?, not eqv?" 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 'case-check' branch of my github fork now implements Robby'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 <<a href="javascript:;" onclick="_e(event, 'cvml', 'zeppieri@gmail.com')">zeppieri@gmail.com</a>> wrote:<br> > Thanks! -J<br> ><br> > On Sun, Nov 25, 2012 at 10:59 PM, Sam Tobin-Hochstadt <<a href="javascript:;" onclick="_e(event, 'cvml', 'samth@ccs.neu.edu')">samth@ccs.neu.edu</a>> wrote:<br> >> On Sun, Nov 25, 2012 at 10:50 PM, Jon Zeppieri <<a href="javascript:;" onclick="_e(event, 'cvml', 'zeppieri@gmail.com')">zeppieri@gmail.com</a>> wrote:<br> >>><br> >>> Is there a way to give check-em a type for TR without breaking it for<br> >>> non-typed code?<br> >><br> >> Yes, you should add an entry to typed-racket/base-env/base-special-env<br> >> for `check-em`. Note that you'll have to specify which module<br> >> `check-em` is defined in.<br> >><br> >> --<br> >> sam th<br> >> <a href="javascript:;" onclick="_e(event, 'cvml', 'samth@ccs.neu.edu')">samth@ccs.neu.edu</a><br> </blockquote></div>