Bug in Time module

[Koen Claessen]

Hi,

I discovered a bug in the Time module.  If I run the
following code snippet:

  main :: IO ()
  main =
    do t0 <- getClockTime
       system "sleep 120"
       t1 <- getClockTime
       print (t1 `diffClockTimes` t0)

The TimeDiff value has a tdSec field greater than 59, and a
tdMin field of 0. I guess this is a bug.

I am running ghc-5.00.2 on Linux.

/Koen.

--
Koen Claessen         http://www.cs.chalmers.se/~koen
phone:+46-31-772 5424      mailto:koen at cs.chalmers.se
-----------------------------------------------------
Chalmers University of Technology, Gothenburg, Sweden