diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/js/urweb.js | 1 | ||||
| -rw-r--r-- | lib/ur/datetime.ur | 11 |
2 files changed, 1 insertions, 11 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js index cb9a94af..2e350378 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -348,7 +348,6 @@ function strftime(fmt, thisTime) }; function fromDatetime(year, month, date, hour, minute, second) { - console.log(arguments); return (new Date(year, month, date, hour, minute, second)).getTime() * 1000; }; 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; |