Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | open Time |
2 | ||
3 | val _ = | |
4 | if 1000000000000 = toMilliseconds (fromSeconds 1000000000) | |
5 | then print "OK\n" | |
6 | else print "ERROR\n" | |
7 | ||
8 | val _ = | |
9 | if 1000000000000 = toMicroseconds (fromSeconds 1000000) | |
10 | then print "OK\n" | |
11 | else print "ERROR\n" | |
12 | ||
13 | val _ = | |
14 | if 1000000000 = toSeconds (fromMilliseconds 1000000000000) | |
15 | then print "OK\n" | |
16 | else print "ERROR\n" | |
17 | ||
18 | val _ = | |
19 | if 1000000000 = toSeconds (fromMicroseconds 1000000000000000) | |
20 | then print "OK\n" | |
21 | else print "ERROR\n" |