From 07f80839011b33db760cdac421ccea6226b07111 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 2 Jun 2009 19:28:25 -0400
Subject: Lexing some more string escape sequences; JS versions of number read;
 fix problem with signature unification; escape < more often in Jscomp

---
 lib/js/urweb.js | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

(limited to 'lib')

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");
 }
-- 
cgit v1.2.3