Proposal: Use time rather than old-time in directory
igloo at earth.li
Sat Jan 14 22:22:55 CET 2012
On Sat, Jan 14, 2012 at 09:09:23PM +0000, Thomas Schilling wrote:
> On 14 January 2012 19:43, Ian Lynagh <igloo at earth.li> 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.
More information about the Libraries