diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-06-02 19:28:25 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-06-02 19:28:25 -0400 |
commit | a144d74a7fb416108f643daaa3a734e416683737 (patch) | |
tree | 426b37ee6b714afc0a597600850846d73c9d41a7 /lib | |
parent | 1fd04be40e1f4885753a269b898d1bd11d24672d (diff) |
Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp
Diffstat (limited to 'lib')
-rw-r--r-- | lib/js/urweb.js | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js index 581ee4d7..6c974948 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -397,6 +397,22 @@ function pfl(s) { er("Can't parse float: " + s); } +function pio(s) { + var r = parseInt(s); + if (r.toString() == s) + return r; + else + return null; +} + +function pflo(s) { + var r = parseFloat(s); + if (r.toString() == s) + return r; + else + return null; +} + function uf(s) { return escape(s).replace(new RegExp ("/", "g"), "%2F"); } |