changeset 26:86857ae0f386

Change more dashes to slashes, for JavaScript compatibility
author Adam Chlipala <adam@chlipala.net>
date Fri, 09 Dec 2011 17:38:20 -0500
parents a037ed3854e3
children 5905b56e0cd9
files calendar.ur
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/calendar.ur	Sun Dec 04 16:33:48 2011 -0500
+++ b/calendar.ur	Fri Dec 09 17:38:20 2011 -0500
@@ -59,7 +59,7 @@
                     n
             end
     in
-        f 28 (readError (show m.Year ^ "-" ^ pad 2 m.Month ^ "-28 00:00:00"))
+        f 28 (readError (show m.Year ^ "/" ^ pad 2 m.Month ^ "/28 00:00:00"))
     end
 
 fun weekdayToNum s =
@@ -74,7 +74,7 @@
       | _ => error <xml>Datebox: Bad weekday name</xml>
 
 fun timeOfMonth my =
-    readError (show my.Year ^ "-" ^ pad 2 my.Month ^ "-01 00:00:00")
+    readError (show my.Year ^ "/" ^ pad 2 my.Month ^ "/01 00:00:00")
 
 fun monthInfo' this =
     let