System.CPUTime

[Koen Claessen]

Dear all,

I have a question about the semantics of the function
'getCPUTime' in the module 'System.CPUTime'.

Does it ever reset itself? I.e. is there a guarantee that if
t1 is the result of a call to getCPUTime, any other call to
getCPUTime will produce a result that is greater?

It seems not to reset itself on Solaris and Linux GHC (or it
has a very long period), but it seems to reset itself within
5 minutes or so on Windows GHC (version 5.04.2, binary
downloaded from GHC's homepage, running Windows 2000).

Regards,
/Koen.