Mercurial > urweb
changeset 1976:98bb0e952a11
Finish datetime -> t rename
author | Patrick Hurst <phurst@mit.edu> |
---|---|
date | Sun, 08 Dec 2013 13:14:58 -0500 (2013-12-08) |
parents | 0ee44375fe64 |
children | 50322ba22972 |
files | lib/ur/datetime.ur |
diffstat | 1 files changed, 2 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- 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)