[Ur] Accessing time components (was: Proposing 'readTime')

[Gian Perrone]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 5/15/11 3:13 PM, Adam Chlipala wrote:
> Isn't this the same as the current [read] instance for [time]?  That is,
> don't you get the same behavior by calling the [read] function?

Oh, you're quite right.  Please excuse the sound of my head hitting the
desk.

As a follow-up question, in that case, does there exist any way of
accessing the individual fields of the 'broken-down' time representation
of the 'tm' struct?  That is, are concepts like seconds, minutes, hours,
days etc. exposed anywhere?

Gian
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (Darwin)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iQEcBAEBAgAGBQJNz9THAAoJEDd5xfOXfbYM8TgH/A/TwXm+E1BCp1ul89NceHKq
fWLTUC1l6P+FR0y9mho2b52x9fm+vLns8oe9NRcEoxndiF2kznxzrqJt+sIW2iWa
TK4rvQOUpmUuFFUha1znOc6A+iYZ/1CXDfxE6oEtSuUWOka6aQLyGMrw8WqE3d5z
YT5JgS6JOPbw5Pq+59jtO9EGScCLtLnXIi18rJ5c33mRDXKwqRUoxdozw8KyBK99
EK/6gLp84IBT4GAqXx84Lwl8qRXxoE8VH1KHsojkjWSIz2ngtUA+bvPUbMoFmXd+
nwJOGOhOajApN+OiBnNm4i/Sx7LRLVvYYKakSR+Gmt5zmyNU0QBrNrsC1yNmnpM=
=y6Ps
-----END PGP SIGNATURE-----