Tyson Richard DOWD trd at cs.mu.oz.au
Fri Jun 27 16:32:36 AEST 1997

Hi folks,

I'm thinking of adding some missing functionality in time.m (reporting
time in seconds, a la clock() or something). If anyone has some
requests, now is a good time to voice them. What's there is fine, but
it's a bit too specific, I'd like some more primitive operations so that
people can be more flexibile in doing their own timing.

Also, can we rename "time.m" as "timing.m"? I think time.m should be
used for the module dealing with data types representing the concept of
time, rather than actually reporting time usage and doing benchmarking.

       Tyson Dowd           # 
                            #  Surreal humour isn't eveyone's cup of
     trd at cs.mu.oz.au        #  fur.
http://www.cs.mu.oz.au/~trd #

More information about the developers mailing list