# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1386627805 18000
# Node ID b6aee1d5b9b131cf5d7ff727093af2e9b55c8eef
# Parent  44f607a7f4cd818430e1dba5cf7748e212a315c1
Add JavaScript mappings for isprint and ord

diff -r 44f607a7f4cd -r b6aee1d5b9b1 lib/js/urweb.js
--- a/lib/js/urweb.js	Mon Dec 09 15:47:14 2013 -0500
+++ b/lib/js/urweb.js	Mon Dec 09 17:23:25 2013 -0500
@@ -35,10 +35,11 @@
 function isBlank(c) { return c == ' ' || c == '\t'; }
 function isSpace(c) { return isBlank(c) || c == '\r' || c == '\n'; }
 function isXdigit(c) { return isDigit(c) || (c >= 'a' && c <= 'f') || (c >= 'A' && c <= 'F'); }
+function ord(c) { return c.charCodeAt(0); }
+function isPrint(c) { return ord(c) > 31 && ord(c) < 127; }
 function toLower(c) { return c.toLowerCase(); }
 function toUpper(c) { return c.toUpperCase(); }
 
-
 // Lists
 
 function cons(v, ls) {
diff -r 44f607a7f4cd -r b6aee1d5b9b1 src/settings.sml
--- a/src/settings.sml	Mon Dec 09 15:47:14 2013 -0500
+++ b/src/settings.sml	Mon Dec 09 17:23:25 2013 -0500
@@ -299,8 +299,10 @@
                           ("isblank", "isBlank"),
                           ("isspace", "isSpace"),
                           ("isxdigit", "isXdigit"),
+                          ("isprint", "isPrint"),
                           ("tolower", "toLower"),
                           ("toupper", "toUpper"),
+                          ("ord", "ord"),
 
                           ("checkUrl", "checkUrl"),
                           ("bless", "bless"),