Unless, of course, the cond is in a void-typed context.  And the error message one gets if it isn&#39;t is about a Void type that never actually got written down, and exists only because of cond&#39;s idiosyncratic default.  It would be better if the type of cond&#39;s default in TR were Nothing.  Or even better, if there were some expression in the default clause that caused TR to raise an intelligent error message if that clause were anything but dead code.  (For instance, if TR knew to say something special about raised exceptions of the hypothetical struct exn:fail:cond.)<br>

<br clear="all">Carl Eastlund<br>
<br><div class="gmail_quote">On Wed, Oct 3, 2012 at 8:16 AM, Sam Tobin-Hochstadt <span dir="ltr">&lt;<a href="mailto:samth@ccs.neu.edu" target="_blank">samth@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 class="im">On Tue, Oct 2, 2012 at 10:26 PM, Matthias Felleisen<br>
&lt;<a href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</a>&gt; wrote:<br>
&gt;<br>
&gt; The cond issue also shows up in TR. We should and will have to tackle it.<br>
<br>
</div>In TR, this is less of an issue, because you get a type error when you<br>
unexpectedly fall off the end of a `cond`.  So I think this is in some<br>
ways better in TR the way it currently is.<br>
<span class="HOEnZb"><font color="#888888">--<br>
sam th<br>
<a href="mailto:samth@ccs.neu.edu">samth@ccs.neu.edu</a><br>
</font></span><div class="HOEnZb"><div class="h5">_________________________<br>
  Racket Developers list:<br>
  <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br>
<br>
</div></div></blockquote></div><br>