Data.Time.Clock.DiffTime documentation error
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
On Mon, 2008-07-28 at 22:34 -0700, Alexander Dunlap wrote:
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.
Sounds right to me.
I don't know if a change this simple needs to go though the Library Submissions Process, but it certainly could.
Not for minor documentation changes. Just email the maintainer, preferably with a patch to make his life easier. Duncan
participants (2)
-
Alexander Dunlap -
Duncan Coutts