[ ghc-Bugs-715052 ] getCPUTime doesn't work

[SourceForge.net]

Bugs item #715052, was opened at 2003-04-03 19:33
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=715052&group_id=8032

Category: Compiler
Group: 5.04.3
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: getCPUTime doesn't  work

Initial Comment:

 I use GHC5.04.3 on windows XP.
 I want to getCPUTime function to get a number used as 
a random seed.
 The getCPUTime works well in GHCi(always 
increasing), but when
 compiled by ghc, the return value of getCPUTime is 
fixed to two
values.This can be demonstrated by: 	

import CPUTime
main = do
d<-getCPUTime
print d			

&#12288;&#12288;&#12288;&#12288;&#12288;&#12288;&#12288;&#12288;Liu Junfeng
&#12288;&#12288;&#12288;&#12288;&#12288;&#12288;&#12288;&#12288;liujf2003 at peoplemail.com.cn
&#12288;&#12288;&#12288;&#12288;&#12288;&#12288;&#12288;&#12288;&#12288;&#12288;2003-04-03

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=715052&group_id=8032