# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1419550347 18000
# Node ID 9272476e2a1c5a102dabae129d8247c4712ef2f0
# Parent  6b7749da1ddc01e07551104d755c751536086b16
Client-side conversion of string to bool

diff -r 6b7749da1ddc -r 9272476e2a1c lib/js/urweb.js
--- a/lib/js/urweb.js	Wed Dec 24 12:35:20 2014 -0500
+++ b/lib/js/urweb.js	Thu Dec 25 18:32:27 2014 -0500
@@ -1261,6 +1261,8 @@
 
 function ts(x) { return x.toString() }
 function bs(b) { return (b ? "True" : "False") }
+function s2b(s) { return s == "True" ? true : s == "False" ? false : null; }
+function s2be(s) { return s == "True" ? true : s == "False" ? false : er("Illegal Boolean " ^ s); }
 
 function id(x) { return x; }
 function sub(s, i) { return s.charAt(i); }
diff -r 6b7749da1ddc -r 9272476e2a1c src/settings.sml
--- a/src/settings.sml	Wed Dec 24 12:35:20 2014 -0500
+++ b/src/settings.sml	Thu Dec 25 18:32:27 2014 -0500
@@ -297,6 +297,8 @@
                           ("mouseEvent", "uw_mouseEvent"),
                           ("keyEvent", "uw_keyEvent"),
                           ("minTime", "0"),
+                          ("stringToBool_error", "s2be"),
+                          ("stringToBool", "s2b"),
 
                           ("islower", "isLower"),
                           ("isupper", "isUpper"),