summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Patrick Hurst <phurst@mit.edu>2013-12-08 13:14:58 -0500
committerGravatar Patrick Hurst <phurst@mit.edu>2013-12-08 13:14:58 -0500
commitd26ce87498bfbdcf1c510d7c0853f8ac8f07314f (patch)
tree3fd1507277c5b97c5a95046dec1f229e875b7402 /lib
parent90da978a70db75e8e9f96e96a41164fceff2b425 (diff)
Finish datetime -> t rename
Diffstat (limited to 'lib')
-rw-r--r--lib/ur/datetime.ur4
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)