diff src/settings.sml @ 820:91f465ded07e

Change monoization of monads to allow partial applications of operations
author Adam Chlipala <adamc@hcoop.net>
date Sat, 23 May 2009 10:14:51 -0400
parents 83875a9eb9b8
children 395a5d450cc0
line wrap: on
line diff
--- a/src/settings.sml	Sat May 23 09:45:02 2009 -0400
+++ b/src/settings.sml	Sat May 23 10:14:51 2009 -0400
@@ -148,7 +148,8 @@
                           ("attrifyString", "escape"),
                           ("attrifyInt", "ts"),
                           ("attrifyFloat", "ts"),
-                          ("attrifyBool", "bs")]
+                          ("attrifyBool", "bs"),
+                          ("boolToString", "ts")]
 val jsFuncs = ref jsFuncsBase
 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls
 fun jsFunc x = M.find (!jsFuncs, x)