<div dir="ltr">Is there perhaps a more suggestive name? (Not that I&#39;m coming up with one...)<div><br>Robby</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Mar 1, 2013 at 10:22 AM, Vincent St-Amour <span dir="ltr">&lt;<a href="mailto:stamourv@ccs.neu.edu" target="_blank">stamourv@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">At Fri, 01 Mar 2013 09:05:21 +0100,<br>
<div class="im">Marijn wrote:<br>
&gt; On 27-02-13 21:51, Neil Toronto wrote:<br>
&gt;<br>
&gt; &gt; (An example that came up in the implementation of matrix norms: the<br>
&gt; &gt; type of (sqrt (/ 1 x)) isn&#39;t Nonnegative-Real if x :<br>
&gt; &gt; Nonnegative-Real, but Complex. Consider x = -0.0. Without TR&#39;s<br>
&gt; &gt; complaints, `matrix-norm&#39; would have contained a time bomb.)<br>
&gt;<br>
&gt; Should -0.0 really be a Nonnegative-Real?<br>
<br>
</div>That&#39;s by design.<br>
<br>
Including both floating-point zeroes in both non-negative and<br>
non-positive types is necessary to make occurrence typing useful for<br>
comparisons between floating-point numbers and zero (see PR12706 for<br>
more details). It also simplifies parts of the numeric base environment<br>
significantly.<br>
<span class="HOEnZb"><font color="#888888"><br>
Vincent<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
_________________________<br>
  Racket Developers list:<br>
  <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br>
</div></div></blockquote></div><br></div>