From ce1678457e654f775fbfe6d193e968647f45a2be Mon Sep 17 00:00:00 2001
From: Brad Nelson <bradnelson@chromium.org>
Date: Wed, 16 Mar 2016 12:35:42 -0700
Subject: [PATCH] Restrict min + max to signed.

---
 html/index.html |  8 ++++++--
 test/index.js   | 26 ++++++++++++++++++++++++++
 2 files changed, 32 insertions(+), 2 deletions(-)

diff --git a/html/index.html b/html/index.html
index d80959b..443a7ba 100644
--- a/html/index.html
+++ b/html/index.html
@@ -77,6 +77,10 @@ <h2 class="no-num no-toc" id=abstract>Abstract</h2>
 </p><h3 class="no-num no-toc" id=changelog>Changelog</h3>
 
 <ul>
+<li><strong>16 March 2016</strong>
+  <ul>
+    <li>Restrict Math.min + Math.max to signed.
+  </li></ul>
 <li><strong>18 August 2014</strong>
   <ul>
     <li>better "putting it all together" example
@@ -2196,7 +2200,7 @@ <h2 id=standard-library><span class=secno>9 </span>Standard Library</h2>
     <code>Math.max</code>
   </td>
   <td>
-    (<a href=#int-0><code>int</code></a>, <a href=#int-0><code>int</code></a><code>…</code>) → <a href=#signed-0><code>signed</code></a> ∧<br>
+    (<a href=#signed-0><code>signed</code></a>, <a href=#signed-0><code>signed</code></a><code>…</code>) → <a href=#signed-0><code>signed</code></a> ∧<br>
     (<a href=#double-1><code>double</code></a>, <a href=#double-1><code>double</code></a><code>…</code>) → <a href=#double-1><code>double</code></a>
   </td>
 </tr>
@@ -2307,4 +2311,4 @@ <h2 class=no-num id=acknowledgements>Acknowledgements</h2>
 
 
 
-</body></html>
\ No newline at end of file
+</body></html>
diff --git a/test/index.js b/test/index.js
index a787115..d6e783b 100644
--- a/test/index.js
+++ b/test/index.js
@@ -279,6 +279,32 @@ exports.testMaxWrongArgumentType = asmAssert(
         return f;
     }, { pass: false });
 
+exports.testMinWrongArgumentType2 = asmAssert(
+    "unsigned is not a subtype of signed",
+    function m(stdlib, foreign, heap) {
+        "use asm";
+        var min = stdlib.Math.min;
+        function f(i0, i1) {
+            i0 = i0|0;
+            i1 = i1|0;
+            min(i0>>>0, i1>>>0)|0;
+        }
+        return f;
+    }, { pass: false });
+
+exports.testMaxWrongArgumentType2 = asmAssert(
+    "unsigned is not a subtype of signed",
+    function m(stdlib, foreign, heap) {
+        "use asm";
+        var max = stdlib.Math.max;
+        function f(i0, i1) {
+            i0 = i0|0;
+            i1 = i1|0;
+            max(i0>>>0, i1>>>0)|0;
+        }
+        return f;
+    }, { pass: false });
+
 exports.testMaxWrongReturnType = asmAssert(
     "min argument types don't match",
     function m(stdlib, foreign, heap) {