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)