Re: PATCH: zsh/datetime $EPOCHREALTIME

[Bart Schaefer <schaefer@brasslantern.com>]

On Aug 10, 12:41pm, Peter Stephenson wrote:
}
} I'm actually wondering if we ought to be a bit smarter and add an
} epochrealtime array with the seconds and nanoseconds as elements
} (guaranteed to be consistent, obviously). Exercise for the reader.

Better (?) still:

Allow the user to apply typeset to EPOCHSECONDS.  If it's an int,
it is as it is now.  If it's a float, what you called EPOCHREALTIME.
If an array, elements for seconds and nanoseconds.  If a hash, the
keys are tv_sec and tv_nsec like a timespec (convert from tv_usec
when using gettimeofday).

Too bad that would require mucking about with whether it's special
and readonly, or else introducing provision for other special cases
into typeset ...