comparison lib/js/urweb.js @ 1177:26fed2c4f5be

Louder jscomp; toUpper/Lower fix for JavaScript
author Adam Chlipala <adamc@hcoop.net>
date Thu, 04 Mar 2010 13:47:16 -0500
parents 24a62b6412c4
children 83b1853d1e58
comparison
equal deleted inserted replaced
1176:51e596feec37 1177:26fed2c4f5be
31 function isDigit(c) { return c >= '0' && c <= '9'; } 31 function isDigit(c) { return c >= '0' && c <= '9'; }
32 function isAlnum(c) { return isAlpha(c) || isDigit(c); } 32 function isAlnum(c) { return isAlpha(c) || isDigit(c); }
33 function isBlank(c) { return c == ' ' || c == '\t'; } 33 function isBlank(c) { return c == ' ' || c == '\t'; }
34 function isSpace(c) { return isBlank(c) || c == '\r' || c == '\n'; } 34 function isSpace(c) { return isBlank(c) || c == '\r' || c == '\n'; }
35 function isXdigit(c) { return isDigit(c) || (c >= 'a' && c <= 'f') || (c >= 'A' && c <= 'F'); } 35 function isXdigit(c) { return isDigit(c) || (c >= 'a' && c <= 'f') || (c >= 'A' && c <= 'F'); }
36 function toLower(c) { return c.toLowercase(); } 36 function toLower(c) { return c.toLowerCase(); }
37 function toUpper(c) { return c.toUppercase(); } 37 function toUpper(c) { return c.toUpperCase(); }
38 38
39 39
40 // Lists 40 // Lists
41 41
42 function cons(v, ls) { 42 function cons(v, ls) {