float32 support for operators and Math functions

Author: Dave Herman

html/index.html

@@ -88,6 +88,7 @@ <h2 class="no-num no-toc" id=abstract>Abstract</h2>
     </li><li>added uncoerced <em>CallExpression</em> nodes to <em>Expression</em> for float coercions
     </li><li>added float coercions to initializers, return type annotations, and legal function calls
     </li><li>added restriction preventing float coercions of FFI calls
+    </li><li>added <a href=#float-1><code>float</code></a> support for operators and <code>Math</code> functions
   </li></ul>
 </li><li><strong>12 December 2013</strong>
   <ul>
@@ -1464,7 +1465,7 @@ <h4 id=defaultclause><span class=secno>6.6.2 </span>DefaultClause</h4>
 </div>
 
 <p>validates as type <a href=#signed-0><code>signed</code></a> if <em>arg</em> validates as
-a subtype of <a href=#double-1><code>double</code></a>.
+a subtype of either <a href=#double-1><code>double</code></a> or <a href=#float-2><code>float?</code></a>.
 
 </p><h4 id=multiplicativeexpression><span class=secno>6.7.8 </span>MultiplicativeExpression</h4>
 
@@ -1865,14 +1866,16 @@ <h3 id=unary-operators><span class=secno>8.1 </span>Unary Operators</h3>
   <td>
     (<a href=#signed-0><code>signed</code></a>) → <a href=#double-1><code>double</code></a> ∧<br>
     (<a href=#unsigned-0><code>unsigned</code></a>) → <a href=#double-1><code>double</code></a> ∧<br>
-    (<a href=#double-2><code>double?</code></a>) → <a href=#double-1><code>double</code></a>
+    (<a href=#double-2><code>double?</code></a>) → <a href=#double-1><code>double</code></a> ∧<br>
+    (<a href=#float-2><code>float?</code></a>) → <a href=#double-1><code>double</code></a>
   </td>
 </tr>
 <tr>
   <td><code>-</code></td>
   <td>
     (<a href=#int-0><code>int</code></a>) → <a href=#intish-0><code>intish</code></a> ∧<br>
-    (<a href=#double-2><code>double?</code></a>) → <a href=#double-1><code>double</code></a>
+    (<a href=#double-2><code>double?</code></a>) → <a href=#double-1><code>double</code></a> ∧<br>
+    (<a href=#float-2><code>float?</code></a>) → <a href=#floatish-0><code>floatish</code></a>
   </td>
 </tr>
 <tr>
@@ -1887,8 +1890,9 @@ <h3 id=unary-operators><span class=secno>8.1 </span>Unary Operators</h3>
 </table>
 
 <p>Note that the special combined operator <code>~~</code> may be used
-as a coercion from <a href=#double-1><code>double</code></a> to <a href=#signed-0><code>signed</code></a>;
-see <a href=#unaryexpression>Unary Expressions</a>.
+as a coercion from <a href=#double-1><code>double</code></a> or <a href=#float-2><code>float?</code></a>
+to <a href=#signed-0><code>signed</code></a>; see <a href=#unaryexpression>Unary
+Expressions</a>.
 
 </p><h3 id=binary-operators><span class=secno>8.2 </span>Binary Operators</h3>
 
@@ -1900,22 +1904,32 @@ <h3 id=unary-operators><span class=secno>8.1 </span>Unary Operators</h3>
 </tr>
 <tr>
   <td><code>+</code></td>
-  <td>(<a href=#double-1><code>double</code></a>, <a href=#double-1><code>double</code></a>) → <a href=#double-1><code>double</code></a></td>
+  <td>
+    (<a href=#double-1><code>double</code></a>, <a href=#double-1><code>double</code></a>) → <a href=#double-1><code>double</code></a> ∧<br>
+    (<a href=#float-2><code>float?</code></a>, <a href=#float-2><code>float?</code></a>) → <a href=#floatish-0><code>floatish</code></a>
+  </td>
 </tr>
 <tr>
   <td><code>-</code></td>
-  <td>(<a href=#double-2><code>double?</code></a>, <a href=#double-2><code>double?</code></a>) → <a href=#double-1><code>double</code></a></td>
+  <td>
+    (<a href=#double-2><code>double?</code></a>, <a href=#double-2><code>double?</code></a>) → <a href=#double-1><code>double</code></a> ∧<br>
+    (<a href=#float-2><code>float?</code></a>, <a href=#float-2><code>float?</code></a>) → <a href=#floatish-0><code>floatish</code></a>
+  </td>
 </tr>
 <tr>
   <td><code>*</code></td>
-  <td>(<a href=#double-2><code>double?</code></a>, <a href=#double-2><code>double?</code></a>) → <a href=#double-1><code>double</code></a></td>
+  <td>
+    (<a href=#double-2><code>double?</code></a>, <a href=#double-2><code>double?</code></a>) → <a href=#double-1><code>double</code></a> ∧<br>
+    (<a href=#float-2><code>float?</code></a>, <a href=#float-2><code>float?</code></a>) → <a href=#floatish-0><code>floatish</code></a>
+  </td>
 </tr>
 <tr>
   <td><code>/</code></td>
   <td>
     (<a href=#signed-0><code>signed</code></a>, <a href=#signed-0><code>signed</code></a>) → <a href=#intish-0><code>intish</code></a> ∧<br>
     (<a href=#unsigned-0><code>unsigned</code></a>, <a href=#unsigned-0><code>unsigned</code></a>) → <a href=#intish-0><code>intish</code></a> ∧<br>
-    (<a href=#double-2><code>double?</code></a>, <a href=#double-2><code>double?</code></a>) → <a href=#double-1><code>double</code></a>
+    (<a href=#double-2><code>double?</code></a>, <a href=#double-2><code>double?</code></a>) → <a href=#double-1><code>double</code></a> ∧<br>
+    (<a href=#float-2><code>float?</code></a>, <a href=#float-2><code>float?</code></a>) → <a href=#floatish-0><code>floatish</code></a>
   </td>
 </tr>
 <tr>
@@ -1939,7 +1953,8 @@ <h3 id=unary-operators><span class=secno>8.1 </span>Unary Operators</h3>
   <td>
     (<a href=#signed-0><code>signed</code></a>, <a href=#signed-0><code>signed</code></a>) → <a href=#int-0><code>int</code></a> ∧<br>
     (<a href=#unsigned-0><code>unsigned</code></a>, <a href=#unsigned-0><code>unsigned</code></a>) → <a href=#int-0><code>int</code></a> ∧<br>
-    (<a href=#double-1><code>double</code></a>, <a href=#double-1><code>double</code></a>) → <a href=#int-0><code>int</code></a>
+    (<a href=#double-1><code>double</code></a>, <a href=#double-1><code>double</code></a>) → <a href=#int-0><code>int</code></a> ∧<br>
+    (<a href=#float-1><code>float</code></a>, <a href=#float-1><code>float</code></a>) → <a href=#int-0><code>int</code></a>
   </td>
 </tr>
 </tbody>
@@ -1968,19 +1983,28 @@ <h2 id=standard-library><span class=secno>9 </span>Standard Library</h2>
     <code>Math.cos</code><br>
     <code>Math.sin</code><br>
     <code>Math.tan</code><br>
+    <code>Math.exp</code><br>
+    <code>Math.log</code>
+  </td>
+  <td>(<a href=#double-2><code>double?</code></a>) → <a href=#double-1><code>double</code></a></td>
+</tr>
+<tr>
+  <td>
     <code>Math.ceil</code><br>
     <code>Math.floor</code><br>
-    <code>Math.exp</code><br>
-    <code>Math.log</code><br>
     <code>Math.sqrt</code>
   </td>
-  <td>(<a href=#double-2><code>double?</code></a>) → <a href=#double-1><code>double</code></a></td>
+  <td>
+    (<a href=#double-2><code>double?</code></a>) → <a href=#double-1><code>double</code></a> ∧<br>
+    (<a href=#float-2><code>float?</code></a>) → <a href=#float-1><code>float</code></a>
+  </td>
 </tr>
 <tr>
   <td><code>Math.abs</code></td>
   <td>
     (<a href=#signed-0><code>signed</code></a>) → <a href=#signed-0><code>signed</code></a> ∧<br>
-    (<a href=#double-2><code>double?</code></a>) → <a href=#double-1><code>double</code></a>
+    (<a href=#double-2><code>double?</code></a>) → <a href=#double-1><code>double</code></a> ∧<br>
+    (<a href=#float-2><code>float?</code></a>) → <a href=#float-1><code>float</code></a>
   </td>
 </tr>
 <tr>

html/index.src.html

@@ -91,6 +91,7 @@ <h3 class="no-num no-toc">Changelog</h2>
     <li>added uncoerced <em>CallExpression</em> nodes to <em>Expression</em> for float coercions
     <li>added float coercions to initializers, return type annotations, and legal function calls
     <li>added restriction preventing float coercions of FFI calls
+    <li>added <code>float</code> support for operators and <code>Math</code> functions
   </ul>
 <li><strong>12 December 2013</strong>
   <ul>
@@ -1380,7 +1381,7 @@ <h4>UnaryExpression</h4>
 </div>
 
 <p>validates as type <code>signed</code> if <em>arg</em> validates as
-a subtype of <code>double</code>.
+a subtype of either <code>double</code> or <code>float?</code>.
 
 <h4>MultiplicativeExpression</h4>
 
@@ -1781,14 +1782,16 @@ <h3>Unary Operators</h3>
   <td>
     (<code>signed</code>) &rarr; <code>double</code> &and;<br>
     (<code>unsigned</code>) &rarr; <code>double</code> &and;<br>
-    (<code>double?</code>) &rarr; <code>double</code>
+    (<code>double?</code>) &rarr; <code>double</code> &and;<br>
+    (<code>float?</code>) &rarr; <code>double</code>
   </td>
 </tr>
 <tr>
   <td><code>-</code></td>
   <td>
     (<code>int</code>) &rarr; <code>intish</code> &and;<br>
-    (<code>double?</code>) &rarr; <code>double</code>
+    (<code>double?</code>) &rarr; <code>double</code> &and;<br>
+    (<code>float?</code>) &rarr; <code>floatish</code>
   </td>
 </tr>
 <tr>
@@ -1803,8 +1806,9 @@ <h3>Unary Operators</h3>
 </table>
 
 <p>Note that the special combined operator <code>~~</code> may be used
-as a coercion from <code>double</code> to <code>signed</code>;
-see <a href="#unaryexpression">Unary Expressions</a>.
+as a coercion from <code>double</code> or <code>float?</code>
+to <code>signed</code>; see <a href="#unaryexpression">Unary
+Expressions</a>.
 
 <h3>Binary Operators</h3>
 
@@ -1816,22 +1820,32 @@ <h3>Binary Operators</h3>
 </tr>
 <tr>
   <td><code>+</code></td>
-  <td>(<code>double</code>, <code>double</code>) &rarr; <code>double</code></td>
+  <td>
+    (<code>double</code>, <code>double</code>) &rarr; <code>double</code> &and;<br>
+    (<code>float?</code>, <code>float?</code>) &rarr; <code>floatish</code>
+  </td>
 </tr>
 <tr>
   <td><code>-</code></td>
-  <td>(<code>double?</code>, <code>double?</code>) &rarr; <code>double</code></td>
+  <td>
+    (<code>double?</code>, <code>double?</code>) &rarr; <code>double</code> &and;<br>
+    (<code>float?</code>, <code>float?</code>) &rarr; <code>floatish</code>
+  </td>
 </tr>
 <tr>
   <td><code>*</code></td>
-  <td>(<code>double?</code>, <code>double?</code>) &rarr; <code>double</code></td>
+  <td>
+    (<code>double?</code>, <code>double?</code>) &rarr; <code>double</code> &and;<br>
+    (<code>float?</code>, <code>float?</code>) &rarr; <code>floatish</code>
+  </td>
 </tr>
 <tr>
   <td><code>/</code></td>
   <td>
     (<code>signed</code>, <code>signed</code>) &rarr; <code>intish</code> &and;<br>
     (<code>unsigned</code>, <code>unsigned</code>) &rarr; <code>intish</code> &and;<br>
-    (<code>double?</code>, <code>double?</code>) &rarr; <code>double</code>
+    (<code>double?</code>, <code>double?</code>) &rarr; <code>double</code> &and;<br>
+    (<code>float?</code>, <code>float?</code>) &rarr; <code>floatish</code>
   </td>
 </tr>
 <tr>
@@ -1855,7 +1869,8 @@ <h3>Binary Operators</h3>
   <td>
     (<code>signed</code>, <code>signed</code>) &rarr; <code>int</code> &and;<br>
     (<code>unsigned</code>, <code>unsigned</code>) &rarr; <code>int</code> &and;<br>
-    (<code>double</code>, <code>double</code>) &rarr; <code>int</code>
+    (<code>double</code>, <code>double</code>) &rarr; <code>int</code> &and;<br>
+    (<code>float</code>, <code>float</code>) &rarr; <code>int</code>
   </td>
 </tr>
 </tbody>
@@ -1884,19 +1899,28 @@ <h2>Standard Library</h2>
     <code>Math.cos</code><br>
     <code>Math.sin</code><br>
     <code>Math.tan</code><br>
+    <code>Math.exp</code><br>
+    <code>Math.log</code>
+  </td>
+  <td>(<code>double?</code>) &rarr; <code>double</code></td>
+</tr>
+<tr>
+  <td>
     <code>Math.ceil</code><br>
     <code>Math.floor</code><br>
-    <code>Math.exp</code><br>
-    <code>Math.log</code><br>
     <code>Math.sqrt</code>
   </td>
-  <td>(<code>double?</code>) &rarr; <code>double</code></td>
+  <td>
+    (<code>double?</code>) &rarr; <code>double</code> &and;<br>
+    (<code>float?</code>) &rarr; <code>float</code>
+  </td>
 </tr>
 <tr>
   <td><code>Math.abs</code></td>
   <td>
     (<code>signed</code>) &rarr; <code>signed</code> &and;<br>
-    (<code>double?</code>) &rarr; <code>double</code>
+    (<code>double?</code>) &rarr; <code>double</code> &and;<br>
+    (<code>float?</code>) &rarr; <code>float</code>
   </td>
 </tr>
 <tr>