13 Jan
2003
13 Jan
'03
3:13 a.m.
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.