FIX #1272: include the picoseconds field of ClockTime in the seed
authorSimon Marlow <simonmar@microsoft.com>
Fri, 26 Oct 2007 15:40:58 +0000 (15:40 +0000)
committerSimon Marlow <simonmar@microsoft.com>
Fri, 26 Oct 2007 15:40:58 +0000 (15:40 +0000)
commit5216adf4468015e0b266fc1b03769ff45497c154
treed4d6206b4871422305dd1f9ea2ec2f287b7ea5e5
parent3f8fe43bbd7a368559b0958aedd0f8263f5da3f8
FIX #1272: include the picoseconds field of ClockTime in the seed
System/Random.hs