comparison src/settings.sml @ 1487:290de2dcecf6

Add client-side Basis.now and pretty-printing of times
author Adam Chlipala <adam@chlipala.net>
date Wed, 06 Jul 2011 08:35:31 -0400
parents a10d080123ec
children 3c0803c1acd7
comparison
equal deleted inserted replaced
1486:7f8ddcf12b20 1487:290de2dcecf6
246 ("eq_time", "eq"), 246 ("eq_time", "eq"),
247 ("lt_time", "lt"), 247 ("lt_time", "lt"),
248 ("le_time", "le"), 248 ("le_time", "le"),
249 249
250 ("debug", "alert"), 250 ("debug", "alert"),
251 ("naughtyDebug", "alert")] 251 ("naughtyDebug", "alert"),
252
253 ("now", "now"),
254 ("timeToString", "showTime"),
255 ("htmlifyTime", "showTime")]
252 val jsFuncs = ref jsFuncsBase 256 val jsFuncs = ref jsFuncsBase
253 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls 257 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls
254 fun jsFunc x = M.find (!jsFuncs, x) 258 fun jsFunc x = M.find (!jsFuncs, x)
255 fun allJsFuncs () = M.listItemsi (!jsFuncs) 259 fun allJsFuncs () = M.listItemsi (!jsFuncs)
256 260