random tune

Laszlo Nagy rizsotto at gmail.com
Thu Jul 9 05:42:20 EDT 2009


Hi All,

I would like to contribute something useful for the community. I've
read through some tickets and found I can't solve any of them. Instead
I've looked for small tasks which might help to complete one.

One was the #1338 ticket, which mention that random package should use
'time' package instead of 'old-time'. I also run the hlint program
against the random library and applied the recommendations. Here are
the patches:

  http://sites.google.com/site/rizsotto/patches/random-time.darcs
  http://sites.google.com/site/rizsotto/patches/random-hlintclean.darcs

Regards,
Laszlo


More information about the Libraries mailing list