[mercury-users] Converting time_t to int using common library?

Ralph Becket rafe at csse.unimelb.edu.au
Thu Feb 15 15:51:15 AEDT 2007

doug.auclair at logicaltypes.com, Wednesday, 14 February 2007:
> ... also, since random.m is very weak, will the tausworthe one or
> samples/qcheck/rnd.m one replace random.m in the standard library?

I would like to, but this gets discussed every year or two and certain
members of the Mercury team are adamant that only having a rubbish RNG
in the library is a good thing because it forces people who actually
care about having decent random numbers to do their homework.  I remain
unconvinced by this argument...
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list