aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/settings.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-07-06 08:35:31 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-07-06 08:35:31 -0400
commitb7fc000f340f2be6f9c0e8f615aa4ae23ecf9d20 (patch)
treed19b9706c7ff2c9e023d8ed9a188e75d35598759 /src/settings.sml
parentc18e3a5165c30aa0475ae938cc083d4fa7bd167d (diff)
Add client-side Basis.now and pretty-printing of times
Diffstat (limited to 'src/settings.sml')
-rw-r--r--src/settings.sml6
1 files changed, 5 insertions, 1 deletions
diff --git a/src/settings.sml b/src/settings.sml
index 26aaad95..57ab956a 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -248,7 +248,11 @@ val jsFuncsBase = basisM [("alert", "alert"),
("le_time", "le"),
("debug", "alert"),
- ("naughtyDebug", "alert")]
+ ("naughtyDebug", "alert"),
+
+ ("now", "now"),
+ ("timeToString", "showTime"),
+ ("htmlifyTime", "showTime")]
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)