bug#22034: time-utc->date shows bogus zone-dependent leap second

2018-10-29 Thread Mark H Weaver
Hi John, John Cowan writes: > On Mon, Oct 29, 2018 at 3:17 AM Mark H Weaver wrote: > > Can you please be more concrete and tell me what numbers you think > should be in the second column, to properly reflect the column heading? > I'm not asking for a prose description, but for the actual num

bug#22034: time-utc->date shows bogus zone-dependent leap second

2018-10-29 Thread John Cowan
On Mon, Oct 29, 2018 at 3:17 AM Mark H Weaver wrote: Can you please be more concrete and tell me what numbers you think > should be in the second column, to properly reflect the column heading? > I'm not asking for a prose description, but for the actual numbers. > Here you go: +---

bug#22034: time-utc->date shows bogus zone-dependent leap second

2018-10-29 Thread Mark H Weaver
Mark H Weaver writes: > John Cowan writes: > >> On Sun, Oct 28, 2018 at 4:40 PM Mark H Weaver wrote: >> >> The difference between the two measuring tapes is that they assign >> different numbers to the markings, and moreover that the UTC analogue >> has a small handful of places where two ad

bug#22034: time-utc->date shows bogus zone-dependent leap second

2018-10-29 Thread Mark H Weaver
Hi John, John Cowan writes: > On Sun, Oct 28, 2018 at 4:40 PM Mark H Weaver wrote: > > The difference between the two measuring tapes is that they assign > different numbers to the markings, and moreover that the UTC analogue > has a small handful of places where two adjacent markings have t

bug#22034: time-utc->date shows bogus zone-dependent leap second

2018-10-28 Thread John Cowan
On Sun, Oct 28, 2018 at 4:40 PM Mark H Weaver wrote: I believe you're making a subtle error in your identification of UTC > seconds with TAI seconds. And I in turn think you (or perhaps someone else)are making an error in your use of the term "UTC". > A TAI clock aims to measure the current T

bug#22034: time-utc->date shows bogus zone-dependent leap second

2018-10-28 Thread Mark H Weaver
Hi John, John Cowan writes: > On Mon, Oct 22, 2018 at 2:12 AM Mark H Weaver wrote: > > Universal Time (UT) is not a measure of physical time, but rather is a > measure of the rotation angle of the Earth with respect to distant > quasars. A UT second is identified with a fixed amount of rota

bug#22034: time-utc->date shows bogus zone-dependent leap second

2018-10-25 Thread John Cowan
On Mon, Oct 22, 2018 at 2:12 AM Mark H Weaver wrote: Universal Time (UT) is not a measure of physical time, but rather is a > measure of the rotation angle of the Earth with respect to distant > quasars. A UT second is identified with a fixed amount of rotation of > the Earth, which equals 1/864

bug#22034: time-utc->date shows bogus zone-dependent leap second

2018-10-21 Thread Mark H Weaver
John Cowan writes: > On Sat, Oct 20, 2018 at 5:43 PM Mark H Weaver wrote: > > If I understand correctly, 'time-utc->date' should never return a date > object with 60 in the seconds field, because those extra seconds have no > representation in time-utc. They only have representations in time

bug#22034: time-utc->date shows bogus zone-dependent leap second

2018-10-21 Thread John Cowan
On Sat, Oct 20, 2018 at 5:43 PM Mark H Weaver wrote: If I understand correctly, 'time-utc->date' should never return a date > object with 60 in the seconds field, because those extra seconds have no > representation in time-utc. They only have representations in time-tai > and time-monotonic. >

bug#22034: time-utc->date shows bogus zone-dependent leap second

2018-10-20 Thread Mark H Weaver
Zefram writes: > time-utc->date seems to think that a leap second occurs at a different > time in each time zone: > > scheme@(guile-user)> (use-modules (srfi srfi-19)) > scheme@(guile-user)> (define (tdate d) (write (list (date->string d "~4") > (date->string (time-utc->date (date->time-utc d) 3

bug#22034: time-utc->date shows bogus zone-dependent leap second

2015-11-27 Thread Zefram
time-utc->date seems to think that a leap second occurs at a different time in each time zone: scheme@(guile-user)> (use-modules (srfi srfi-19)) scheme@(guile-user)> (define (tdate d) (write (list (date->string d "~4") (date->string (time-utc->date (date->time-utc d) 3600) "~4"))) (newline)) sche