Mercurial > gui
comparison calendar.ur @ 25:a037ed3854e3
Change time format to work portably in JavaScript
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 04 Dec 2011 16:33:48 -0500 |
parents | 554e342665fe |
children | 86857ae0f386 |
comparison
equal
deleted
inserted
replaced
24:d314d2ec3300 | 25:a037ed3854e3 |
---|---|
34 pad' (len-1) ("0" ^ s) | 34 pad' (len-1) ("0" ^ s) |
35 in | 35 in |
36 pad' (len - String.length s) s | 36 pad' (len - String.length s) s |
37 end | 37 end |
38 | 38 |
39 fun time {Year = y, Month = m, Day = d} = readError (show y ^ "-" ^ pad 2 m ^ "-" ^ pad 2 d ^ " 00:00:00") | 39 fun time {Year = y, Month = m, Day = d} = readError (show y ^ "/" ^ pad 2 m ^ "/" ^ pad 2 d ^ " 00:00:00") |
40 fun date tm = | 40 fun date tm = |
41 let | 41 let |
42 val y = readError (timef "%Y" tm) | 42 val y = readError (timef "%Y" tm) |
43 val m = readError (timef "%m" tm) | 43 val m = readError (timef "%m" tm) |
44 val d = readError (timef "%d" tm) | 44 val d = readError (timef "%d" tm) |