[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: encode-time vs decode-time
From: |
Lars Ingebrigtsen |
Subject: |
Re: encode-time vs decode-time |
Date: |
Wed, 07 Aug 2019 13:33:50 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
Paul Eggert <address@hidden> writes:
> Eli Zaretskii wrote:
>> Was this inspection done on Emacs' own code, or also outside Emacs?
>
> Lars didn't say. I assume he meant Emacs's own code.
Yup.
> One alternative would be to leave decode-time's API unchanged from
> Emacs 26 and put the new functionality into a new function, say
> "time-calendrical". While we're at it, we could call the data
> structure that the new function returns a "calendrical timestamp"
> instead of a "decoded timestamp", and rename the recently-added
> functions make-decoded-time, decoded-time-hour, decoded-time-year
> etc. to make-calendrical-time, calendrical-hour, calendrical-year,
> etc.
I agree; calling these things encoded/decoded time isn't very clear
terminology. "calendrical" is a mouthful, though. And "calendar" would
imply that it belongs in the calendar package, perhaps...
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Re: encode-time vs decode-time, Paul Eggert, 2019/08/05
- Re: encode-time vs decode-time, Eli Zaretskii, 2019/08/06
- Re: encode-time vs decode-time, Paul Eggert, 2019/08/06
- Re: encode-time vs decode-time, Eli Zaretskii, 2019/08/06
- Re: encode-time vs decode-time, Paul Eggert, 2019/08/06
- Re: encode-time vs decode-time, Stefan Monnier, 2019/08/06
- Re: encode-time vs decode-time, Eli Zaretskii, 2019/08/07
- Re: encode-time vs decode-time, Lars Ingebrigtsen, 2019/08/11
- Re: encode-time vs decode-time, Paul Eggert, 2019/08/17
- Re: encode-time vs decode-time,
Lars Ingebrigtsen <=
- Re: encode-time vs decode-time, Paul Eggert, 2019/08/17
- Re: encode-time vs decode-time, Eli Zaretskii, 2019/08/17
- Re: encode-time vs decode-time, Paul Eggert, 2019/08/17
- Re: encode-time vs decode-time, Lars Ingebrigtsen, 2019/08/17
- Re: encode-time vs decode-time, Paul Eggert, 2019/08/17
- Re: encode-time vs decode-time, Stefan Monnier, 2019/08/17
- Re: encode-time vs decode-time, Paul Eggert, 2019/08/17
- Re: encode-time vs decode-time, Stefan Monnier, 2019/08/19
- Re: encode-time vs decode-time, Adam Porter, 2019/08/21
- Re: encode-time vs decode-time, Paul Eggert, 2019/08/21