<div dir="ltr">You don&#39;t get the same message-- the expected line is gone somehow.<div><br></div><div>Robby</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Feb 5, 2013 at 10:30 PM, Eric Dobson <span dir="ltr">&lt;<a href="mailto:eric.n.dobson@gmail.com" target="_blank">eric.n.dobson@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">I don&#39;t get why TR should use a custom contract instead of case-&gt; providing better error messages.<div>
<br></div><div>You get the same error message with:</div><div><br></div><div><div>
#lang racket</div><div><br></div><div>(define/contract (f) (case-&gt;) 2)</div><div>(f 2)</div><div>;(f)</div></div></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Feb 5, 2013 at 8:10 PM, Matthias Felleisen <span dir="ltr">&lt;<a href="mailto:matthias@ccs.neu.edu" target="_blank">matthias@ccs.neu.edu</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><br>
On Feb 5, 2013, at 4:17 PM, Asumu Takikawa wrote:<br>
<br>
&gt;&gt;<br>
&gt;&gt;   In 5.3.2, when running untyped.rkt, I get:<br>
&gt;&gt;<br>
&gt;&gt;   #&lt;case-lambda-procedure&gt;: arity mismatch;<br>
&gt;&gt;    the expected number of arguments does not match the given number<br>
&gt;&gt;     given: 1<br>
&gt;&gt;     arguments...:<br>
&gt;&gt;      5<br>
&gt;<br>
&gt; I agree that this error message is bad. It&#39;s a result of changing the<br>
&gt; type `Procedure` to use the contract `(case-&gt;)`. Maybe we should use a<br>
&gt; custom contract here instead that produces a better error message.<br>
<br>
<br>
</div>AMEN!<br>
<div><div>____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
</div></div></blockquote></div><br></div>
</div></div><br>____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br></blockquote></div><br></div>