
29 Jul
2008
29 Jul
'08
7:01 a.m.
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