Proposal: Use time rather than old-time in directory
nominolo at googlemail.com
Sat Jan 14 22:09:23 CET 2012
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?
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
Push the envelope. Watch it bend.
More information about the Libraries