Re: memory useage of data types in the time package

On 05/21/10 09:54, Duncan Coutts wrote:

This one is especially useful to make smaller since it is used as a timestamp in many applications, so there tend to be a lot of them.

newtype DiffTime = MkDiffTime Pico

Again, Pico based on Int64 rather than Integer would save space, save an indirection and allow further unboxing.

But is it acceptable for the maximum DiffTime to be on the order of 18 million years? (Maybe... but it's less obvious to be alright than trillions of years is...) -Isaac