summaryrefslogtreecommitdiff
path: root/lib/ur/datetime.ur
diff options
context:
space:
mode:
Diffstat (limited to 'lib/ur/datetime.ur')
-rw-r--r--lib/ur/datetime.ur11
1 files changed, 1 insertions, 10 deletions
diff --git a/lib/ur/datetime.ur b/lib/ur/datetime.ur
index 676f141f..9aeab291 100644
--- a/lib/ur/datetime.ur
+++ b/lib/ur/datetime.ur
@@ -107,16 +107,7 @@ val ord_datetime = mkOrd { Lt = fn a b => toTime a < toTime b,
fun format fmt dt : string = timef fmt (toTime dt)
-fun dayOfWeek dt : day_of_week =
- case datetimeDayOfWeek (toTime dt) of
- 0 => Sunday
- | 1 => Monday
- | 2 => Tuesday
- | 3 => Wednesday
- | 4 => Thursday
- | 5 => Friday
- | 6 => Saturday
- | n => error <xml>Illegal day of week {[n]}</xml>
+fun dayOfWeek dt : day_of_week = intToDayOfWeek (datetimeDayOfWeek (toTime dt))
val now : transaction t =
n <- now;