From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: John Cowan Newsgroups: gmane.lisp.guile.bugs Subject: bug#22034: time-utc->date shows bogus zone-dependent leap second Date: Sun, 21 Oct 2018 22:38:55 -0400 Message-ID: References: <20151127195146.GB28472@fysh.org> <87a7n847o5.fsf@netris.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="0000000000003aa4330578c828ee" X-Trace: blaine.gmane.org 1540176870 27087 195.159.176.226 (22 Oct 2018 02:54:30 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 22 Oct 2018 02:54:30 +0000 (UTC) Cc: 22034-done@debbugs.gnu.org To: 22034@debbugs.gnu.org, Mark H Weaver , zefram@fysh.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Mon Oct 22 04:54:26 2018 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gEQML-0006yB-Rx for guile-bugs@m.gmane.org; Mon, 22 Oct 2018 04:54:26 +0200 Original-Received: from localhost ([::1]:60955 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gEQOS-0002X4-AZ for guile-bugs@m.gmane.org; Sun, 21 Oct 2018 22:56:36 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:47644) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gEQOE-0002LH-WB for bug-guile@gnu.org; Sun, 21 Oct 2018 22:56:27 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gEQ8Q-0004eL-SP for bug-guile@gnu.org; Sun, 21 Oct 2018 22:40:07 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:58905) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gEQ8P-0004do-UN for bug-guile@gnu.org; Sun, 21 Oct 2018 22:40:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gEQ8P-0005sn-ND for bug-guile@gnu.org; Sun, 21 Oct 2018 22:40:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: John Cowan Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Mon, 22 Oct 2018 02:40:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 22034 X-GNU-PR-Package: guile X-GNU-PR-Keywords: Original-Received: via spool by 22034-submit@debbugs.gnu.org id=B22034.154017595622552 (code B ref 22034); Mon, 22 Oct 2018 02:40:01 +0000 Original-Received: (at 22034) by debbugs.gnu.org; 22 Oct 2018 02:39:16 +0000 Original-Received: from localhost ([127.0.0.1]:34930 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gEQ7f-0005rb-Vy for submit@debbugs.gnu.org; Sun, 21 Oct 2018 22:39:16 -0400 Original-Received: from mail-wr1-f54.google.com ([209.85.221.54]:35473) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gEQ7d-0005rF-5e for 22034@debbugs.gnu.org; Sun, 21 Oct 2018 22:39:13 -0400 Original-Received: by mail-wr1-f54.google.com with SMTP id w5-v6so43114469wrt.2 for <22034@debbugs.gnu.org>; Sun, 21 Oct 2018 19:39:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ccil-org.20150623.gappssmtp.com; s=20150623; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=5pNMc1C4xwzEwcrAChWP5YRuUU8PqRncv8uHga8iUPQ=; b=nUxVtqadV3OydpCLMV6YEjXZTrOQXeyNnPwd8rj5B0pbpu2Y4s9c3fTXWiauK36EFv SR+wr4QzCOCsh3KTN5tuKLLINoIBUWScCt2s6884EUiO5V+shK8X06NxfV2CNmRTxqR9 j2dyC2tohDGyWrXlA5+2CqI9HxB5qT+ighgdMeL6KBjVDHYIJh30UGH8nCSimBWtzsb9 gfGTz5MYizkUW0vhYIxBaAnIHqCJ1qawRqAnyibG/alNqGjdZLYec8fd0zNXoZDLJOBq AVEq3FJ0BylID+tospCCATTrfvOJQWCCszTRDyn/9Qh6VUq/x3t5AyQYHX9AFymYgBaL QF2Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=5pNMc1C4xwzEwcrAChWP5YRuUU8PqRncv8uHga8iUPQ=; b=i8LRwUFnrPyY/I5Yd2fJm9KqA7+7d7ycBse6XDbKjhG0kZp/7ETpajmP9h2bc3VOQr VzrM9RxP/CepCTblHeY9AQVUsDtyuKJsQ9zT8lMUbIdQ56D920jma/Ryn7tn/u9DwAu4 ZtTLfslv/fkAUlmkNbzW0qNCoA4Zb/jINyftPZ6/50fCOZNp6FTajywrItKl6zhrlvmM 5uzGKELPDqvuLRHi0JJpj3uOK/5uEtR2IrCV2veWTBVQF2p8ORj8gnMOR6GK+ZiCyDSZ Sdr/NjyIMgAQRU09x6ds22GZLhzoparmZsVV+LYfS12k7LsWyjqU/VjlagvsH2WIA1jK CgMQ== X-Gm-Message-State: ABuFfoj/UsRqegI6WaoXKjuBJxvsCxfr7V08oxuIzCNHFCgvOtXfZdCi qBgxvfUWPVNIcXNv4XJ95HEoG2azk2pnNMfNW5JoPFjL3Qs= X-Google-Smtp-Source: ACcGV619FuxGkYU9ny1F/Cnd97WoMkjOeb4KEbDL1QnXoVaLKzFCnBCRJKe/h7btHU8GUHRmBZUmvLaL9akWMTCM0do= X-Received: by 2002:adf:f44b:: with SMTP id f11-v6mr42280832wrp.305.1540175947269; Sun, 21 Oct 2018 19:39:07 -0700 (PDT) In-Reply-To: <87a7n847o5.fsf@netris.org> X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Original-Sender: "bug-guile" Xref: news.gmane.org gmane.lisp.guile.bugs:9237 Archived-At: --0000000000003aa4330578c828ee Content-Type: text/plain; charset="UTF-8" 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. > As I understand it, this is incorrect. UTC days can contain either 86400 or 86401 seconds (or in principle a different number), depending on whether the day has a leap second. It is *Posix* time, not UTC time, that contains a fixed number of seconds per day, or more accurately that assigns a label from 0 to 864399 to the seconds of a day, and can assign the same label to more than one second (or in principle could assign one or more labels to no second) on a leap-second day. Consequently, a broken-down time can indeed return 60 in the seconds field, but only for a UTC clock, never for a Posix clock. This error is repeated in a number of your later messages, but I'll respond only to this one. -- John Cowan http://vrici.lojban.org/~cowan cowan@ccil.org Tautology is something that is tautological. --Francois-Rene Rideau --0000000000003aa4330578c828ee Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable


On Sat, Oct 20, 2018 at 5:43 PM Mark H Weaver <mhw@netris.org> wrote:

If I understan= d 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.=C2=A0 They only have representations in time-ta= i
and time-monotonic.

As I understand it,= this is incorrect.=C2=A0 UTC days can contain either 86400 or 86401 second= s (or in principle a different number), depending on whether the day has a = leap second.=C2=A0 It is *Posix* time, not UTC time, that contains a fixed = number of seconds per day, or more accurately that assigns a label from 0 t= o 864399 to the seconds of a day, and can assign the same label to more tha= n one second (or in principle could assign one or more labels to no second)= on a leap-second day. Consequently, a broken-down time can indeed return 6= 0 in the seconds field, but only for a UTC clock, never for a Posix clock.<= /div>

This error is repeated in a number of your later m= essages, but I'll respond only to this one.

--= =C2=A0

--0000000000003aa4330578c828ee--