On Fri, Jul 17, 2009 at 04:33:24PM +0100, Ian Lynagh wrote: > On Thu, Jul 09, 2009 at 11:42:20AM +0200, Laszlo Nagy wrote: > > > > http://sites.google.com/site/rizsotto/patches/random-time.darcs > > Thanks; I'll take a look at adding time to GHC's corelibs, and then > apply this. Now applied; thanks for the patch! Thanks Ian