diff options
| author |  Patrick Hurst <phurst@mit.edu> | 2013-12-08 13:14:58 -0500 |
|---|---|---|
| committer | Patrick Hurst <phurst@mit.edu> | 2013-12-08 13:14:58 -0500 |
| commit | e77a9942be6069301a0786f20646afa8a7dcd4f5 (patch) | |
| tree | 3fd1507277c5b97c5a95046dec1f229e875b7402 /lib | |
| parent | 862c1768fa9eca1bf2afdaf0c8cf0b3cfd74f0c5 (diff) | |
Finish datetime -> t rename
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/ur/datetime.ur | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/ur/datetime.ur b/lib/ur/datetime.ur index 6d995d89..dbc68da1 100644 --- a/lib/ur/datetime.ur +++ b/lib/ur/datetime.ur @@ -93,7 +93,7 @@ val eq_month = mkEq (fn a b => monthToInt a = monthToInt b) fun toTime dt : time = fromDatetime dt.Year (monthToInt dt.Month) dt.Day dt.Hour dt.Minute dt.Second -fun fromTime t : datetime = { +fun fromTime t : t = { Year = datetimeYear t, Month = intToMonth (datetimeMonth t), Day = datetimeDay t, @@ -116,6 +116,6 @@ fun dayOfWeek dt : day_of_week = | n => error <xml>Illegal day of week {[n]}</xml> -val now : transaction datetime = +val now : transaction t = n <- now; return (fromTime n) |