1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
val t = valOf (Time.fromString "0.417")
val () = print (concat [Time.toString t, "\n"])
val t = valOf (Time.fromString "0.999")
val () = print (concat [Time.toString t, "\n"])
val t = valOf (Time.fromString ".417")
val () = print (concat [Time.toString t, "\n"])
val t = valOf (Time.fromString ".999")
val () = print (concat [Time.toString t, "\n"])
val t = valOf (Time.fromString "~0.417")
val () = print (concat [Time.toString t, "\n"])
val t = valOf (Time.fromString "~0.999")
val () = print (concat [Time.toString t, "\n"])
val t = valOf (Time.fromString "~.417")
val () = print (concat [Time.toString t, "\n"])
val t = valOf (Time.fromString "~.999")
val () = print (concat [Time.toString t, "\n"])
|
