Re: Proposal: Use time rather than old-time in directory

On Sat, Jan 14, 2012 at 09:09:23PM +0000, Thomas Schilling wrote:

On 14 January 2012 19:43, Ian Lynagh wrote:

...

On Sat, Oct 22, 2011 at 10:28:08PM +0100, Ian Lynagh wrote:

...

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?

Applied, using UTCTime:

08894f96407635781a233145435a78f144accab0 in ghc d0cab4bb327910a341bc99f4e8539806bd671a11 in directory a73b30e1b9d6d45fc44a4269535697018ec4881a in directory dd3ba275911a897c421ca084057aad76c38bd4a5 in hpc

Is there a fallback to platform-specific types for those who need it?

Just the pre-existing withFileStatus/modificationTime on Windows, and getFileStatus/modificationTime on unix.

I know that came up a while ago on a different matter and I think it's reasonable to provide both the standard high-level API and a lower-level API.

Any low-level API should probably be in unix/Win32, with directory's high-level API calling it. Thanks Ian