Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | open Time |
2 | ||
3 | fun pt t = (print(toString t) ; print "\n") | |
4 | ||
5 | val messy = fromReal 123.456789 | |
6 | ||
7 | val _ = (pt zeroTime; | |
8 | pt messy; | |
9 | app (fn d => (print(fmt d messy) ; print "\n")) [0,1,2,3,4,5,6,7]; | |
10 | pt(fromReal 123.456789); | |
11 | pt(fromSeconds 123); | |
12 | pt(fromMilliseconds 123456); | |
13 | pt(fromMicroseconds 123456789) | |
14 | ) |