[MLton] gettimeofday or clock_gettime

[Wesley W. Terpstra]

The basis library doesn't specify the behaviour of Time.now very precisely,
but my reading of it suggests that it is supposed to work as
clock_gettime(CLOCK_REALTIME). MLton currently implements it with
gettimeofday. Why?

Also, clock_gettime(CLOCK_MONOTONIC) seems to be missing from the basis.
Perhaps it should be in a MLton extension?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mlton.org/pipermail/mlton/attachments/20080908/9aa781cc/attachment.htm