Commit 4f75fdde authored by Mart Lubbers's avatar Mart Lubbers

Apply suggestion to src/libraries/OS-Windows/System/Time.icl

parent a38c8985
Pipeline #31547 passed with stage
in 3 minutes and 6 seconds
......@@ -188,7 +188,7 @@ where
= ({tv_sec=(is.[0] - TICKSDIFF64) / TICKSPERSEC64, tv_nsec=(is.[0] rem TICKSPERSEC64) * 100}, w)
nsTime32 w
# (is, w) = GetSystemTimeAsFileTime {0,0} w
# ticks = uintToInt is.[0] + uintToInt is.[1] ^ toInteger 32 - TICKSDIFF32
# ticks = uintToInt is.[0] + uintToInt is.[1] * (toInteger 2 ^ toInteger 32) - TICKSDIFF32
= ({tv_sec=toInt (ticks / TICKSPERSEC32), tv_nsec=toInt (ticks rem TICKSPERSEC32) * 100}, w)
uintToInt :: Int -> Integer
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment