Data.Time.Clock.DiffTime documentation error

Alexander Dunlap alexander.dunlap at gmail.com
Tue Jul 29 01:34:44 EDT 2008


Hi all,

The documentation for Data.Time.Clock.DiffTime says that DiffTime has
an *accuracy* of 10^-12 seconds. Since (I assume) the datatype can't
ensure the accuracy of external timekeeping mechanisms, shouldn't this
say *precision* of 10^-12 seconds? The same is true for
NominalDiffTime.

I don't know if a change this simple needs to go though the Library
Submissions Process, but it certainly could.

Alex


More information about the Libraries mailing list