
24 Oct
2011
24 Oct
'11
8:02 a.m.
On Sat, 2011-10-22 at 22:28 +0100, Ian Lynagh wrote:
Hi all,
This proposal is to change directory to use the time package rather than the old-time package. This will hopefully be a significant step towards actually making the transition in general.
I'm not sure if POSIXTime or UTCTime is the better type to use. Does anyone know?
Probably you want UTCTime. If it's possible to use directory on a non-POSIX system, then definitely UTCTime. BTW folks, I haven't forgotten the realToFrac optimisation and expect to have a look at it on the weekend. -- Ashley