# HG changeset patch
# User Patrick Hurst <phurst@mit.edu>
# Date 1386526498 18000
# Node ID 98bb0e952a114b750fc9a4efca61dc802ceae830
# Parent  0ee44375fe6419da337382fef922f076ca796db0
Finish datetime -> t rename

diff -r 0ee44375fe64 -r 98bb0e952a11 lib/ur/datetime.ur
--- a/lib/ur/datetime.ur	Sun Dec 08 03:25:31 2013 -0500
+++ b/lib/ur/datetime.ur	Sun Dec 08 13:14:58 2013 -0500
@@ -93,7 +93,7 @@
 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 @@
       | n => error <xml>Illegal day of week {[n]}</xml>
 
 
-val now : transaction datetime =
+val now : transaction t =
     n <- now;
     return (fromTime n)