comparison src/settings.sml @ 1514:3c0803c1acd7

Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds and Basis.toSeconds
author Adam Chlipala <adam@chlipala.net>
date Fri, 22 Jul 2011 15:39:38 -0400
parents 290de2dcecf6
children 883347f5c3c2
comparison
equal deleted inserted replaced
1513:5616b2cbdcdb 1514:3c0803c1acd7
250 ("debug", "alert"), 250 ("debug", "alert"),
251 ("naughtyDebug", "alert"), 251 ("naughtyDebug", "alert"),
252 252
253 ("now", "now"), 253 ("now", "now"),
254 ("timeToString", "showTime"), 254 ("timeToString", "showTime"),
255 ("htmlifyTime", "showTime")] 255 ("htmlifyTime", "showTime"),
256 ("toSeconds", "toSeconds"),
257 ("diffInSeconds", "diffInSeconds")]
256 val jsFuncs = ref jsFuncsBase 258 val jsFuncs = ref jsFuncsBase
257 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls 259 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls
258 fun jsFunc x = M.find (!jsFuncs, x) 260 fun jsFunc x = M.find (!jsFuncs, x)
259 fun allJsFuncs () = M.listItemsi (!jsFuncs) 261 fun allJsFuncs () = M.listItemsi (!jsFuncs)
260 262