patch isDigit

1 files changed, 116 insertions, 1 deletions

diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 19f708ca..a10751e3 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -30,7 +30,122 @@ function le(x, y) { return x <= y; }
 function isLower(c) { return toLower(c) == c && c != toUpper(c); }
 function isUpper(c) { return toUpper(c) == c && c != toLower(c); }
 function isAlpha(c) { return isLower(c) || isUpper(c); }
-function isDigit(c) { return c >= '0' && c <= '9'; }
+function isDigit(c) {
+    if (c >= '0' && c <= '9')
+	return true;
+
+    var cp = ord(c);
+    if (cp >= 1632 && cp <= 1641)
+	return true;
+    else if (cp >= 1776 && cp <= 1785)
+	return true;
+    else if (cp >= 1984 && cp <= 1993)
+	return true;
+    else if (cp >= 2406 && cp <= 2415)
+	return true;
+    else if (cp >= 2534 && cp <= 2543)
+	return true;
+    else if (cp >= 2662 && cp <= 2671)
+	return true;
+    else if (cp >= 2790 && cp <= 2799)
+	return true;
+    else if (cp >= 2918 && cp <= 2927)
+	return true;
+    else if (cp >= 3046 && cp <= 3055)
+	return true;
+    else if (cp >= 3174 && cp <= 3183)
+	return true;
+    else if (cp >= 3302 && cp <= 3311)
+	return true;
+    else if (cp >= 3430 && cp <= 3439)
+	return true;
+    else if (cp >= 3558 && cp <= 3567)
+	return true;
+    else if (cp >= 3664 && cp <= 3673)
+	return true;
+    else if (cp >= 3792 && cp <= 3801)
+	return true;
+    else if (cp >= 3872 && cp <= 3881)
+	return true;
+    else if (cp >= 4160 && cp <= 4169)
+	return true;
+    else if (cp >= 4240 && cp <= 4249)
+	return true;
+    else if (cp >= 6112 && cp <= 6121)
+	return true;
+    else if (cp >= 6160 && cp <= 6169)
+	return true;
+    else if (cp >= 6470 && cp <= 6479)
+	return true;
+    else if (cp >= 6608 && cp <= 6617)
+	return true;
+    else if (cp >= 6784 && cp <= 6793)
+	return true;
+    else if (cp >= 6800 && cp <= 6809)
+	return true;
+    else if (cp >= 6992 && cp <= 7001)
+	return true;
+    else if (cp >= 7088 && cp <= 7097)
+	return true;
+    else if (cp >= 7232 && cp <= 7241)
+	return true;
+    else if (cp >= 7248 && cp <= 7257)
+	return true;
+    else if (cp >= 42528 && cp <= 42537)
+	return true;
+    else if (cp >= 43216 && cp <= 43225)
+	return true;
+    else if (cp >= 43264 && cp <= 43273)
+	return true;
+    else if (cp >= 43472 && cp <= 43481)
+	return true;
+    else if (cp >= 43504 && cp <= 43513)
+	return true;
+    else if (cp >= 43600 && cp <= 43609)
+	return true;
+    else if (cp >= 44016 && cp <= 44025)
+	return true;
+    else if (cp >= 65296 && cp <= 65305)
+	return true;
+    else if (cp >= 66720 && cp <= 66729)
+	return true;
+    else if (cp >= 69734 && cp <= 69743)
+	return true;
+    else if (cp >= 69872 && cp <= 69881)
+	return true;
+    else if (cp >= 69942 && cp <= 69951)
+	return true;
+    else if (cp >= 70096 && cp <= 70105)
+	return true;
+    else if (cp >= 70384 && cp <= 70393)
+	return true;
+    else if (cp >= 70736 && cp <= 70745)
+	return true;
+    else if (cp >= 70864 && cp <= 70873)
+	return true;
+    else if (cp >= 71248 && cp <= 71257)
+	return true;
+    else if (cp >= 71360 && cp <= 71369)
+	return true;
+    else if (cp >= 71472 && cp <= 71481)
+	return true;
+    else if (cp >= 71904 && cp <= 71913)
+	return true;
+    else if (cp >= 72784 && cp <= 72793)
+	return true;
+    else if (cp >= 73040 && cp <= 73049)
+	return true;
+    else if (cp >= 92768 && cp <= 92777)
+	return true;
+    else if (cp >= 93008 && cp <= 93017)
+	return true;
+    else if (cp >= 120782 && cp <= 120831)
+	return true;
+    else if (cp >= 125264 && cp <= 125273)
+	return true;
+    
+    return false;
+}
 function isAlnum(c) { return isAlpha(c) || isDigit(c); }
 function isBlank(c) { return c == ' ' || c == '\t'; }
 function isSpace(c) { return isBlank(c) || c == '\r' || c == '\n'; }