On 16 November 2010 11:30, Jon Fairbairn <jon.fairbairn@cl.cam.ac.uk> wrote:
I'm probably terribly out of date with this, so I wonder if
anyone can save me the bother of working out what the
/preferred/ libraries are for (a) determining the
last-modified-time of a file or directory and (b) manipulating
the resulting time datum.
I can find System.Directory.getModificationTime and
Data.Time.formatTime, but using them together seems unduly
awkward.
Yep, it's still awkward. The annoying thing is these base libraries still use the old time libraries. Here's me having to use both because of getModificationTime: