comparison src/settings.sml @ 1518:883347f5c3c2

Client-side 'addSeconds'
author Adam Chlipala <adam@chlipala.net>
date Sun, 24 Jul 2011 14:49:40 -0400
parents 3c0803c1acd7
children d5c961c709f9
comparison
equal deleted inserted replaced
1517:27b8c0a460cf 1518:883347f5c3c2
252 252
253 ("now", "now"), 253 ("now", "now"),
254 ("timeToString", "showTime"), 254 ("timeToString", "showTime"),
255 ("htmlifyTime", "showTime"), 255 ("htmlifyTime", "showTime"),
256 ("toSeconds", "toSeconds"), 256 ("toSeconds", "toSeconds"),
257 ("addSeconds", "addSeconds"),
257 ("diffInSeconds", "diffInSeconds")] 258 ("diffInSeconds", "diffInSeconds")]
258 val jsFuncs = ref jsFuncsBase 259 val jsFuncs = ref jsFuncsBase
259 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls 260 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls
260 fun jsFunc x = M.find (!jsFuncs, x) 261 fun jsFunc x = M.find (!jsFuncs, x)
261 fun allJsFuncs () = M.listItemsi (!jsFuncs) 262 fun allJsFuncs () = M.listItemsi (!jsFuncs)