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: Mon, 29 Oct 2018 20:23:22 -0400 Message-ID: References: <20151127195146.GB28472@fysh.org> <87a7n847o5.fsf@netris.org> <87va5u8q7o.fsf@netris.org> <871s89ajql.fsf@netris.org> <87a7mx8boh.fsf@netris.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="00000000000024ea2205796732df" X-Trace: blaine.gmane.org 1540858937 29195 195.159.176.226 (30 Oct 2018 00:22:17 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 30 Oct 2018 00:22:17 +0000 (UTC) Cc: zefram@fysh.org, 22034@debbugs.gnu.org, 22034-done@debbugs.gnu.org To: Mark H Weaver Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Tue Oct 30 01:22:12 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 1gHHnP-0007T8-Cg for guile-bugs@m.gmane.org; Tue, 30 Oct 2018 01:22:11 +0100 Original-Received: from localhost ([::1]:49818 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gHHpV-0000sa-Ph for guile-bugs@m.gmane.org; Mon, 29 Oct 2018 20:24:21 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:60791) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gHHpL-0000sA-9z for bug-guile@gnu.org; Mon, 29 Oct 2018 20:24:12 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gHHpG-0000V8-9D for bug-guile@gnu.org; Mon, 29 Oct 2018 20:24:09 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:48082) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gHHpB-0000QL-WD for bug-guile@gnu.org; Mon, 29 Oct 2018 20:24:04 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gHHpB-000741-NF for bug-guile@gnu.org; Mon, 29 Oct 2018 20:24:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: John Cowan Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Tue, 30 Oct 2018 00:24: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.154085902427127 (code B ref 22034); Tue, 30 Oct 2018 00:24:01 +0000 Original-Received: (at 22034) by debbugs.gnu.org; 30 Oct 2018 00:23:44 +0000 Original-Received: from localhost ([127.0.0.1]:52340 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gHHou-00073O-BK for submit@debbugs.gnu.org; Mon, 29 Oct 2018 20:23:44 -0400 Original-Received: from mail-wr1-f52.google.com ([209.85.221.52]:39572) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gHHop-000730-BW for 22034@debbugs.gnu.org; Mon, 29 Oct 2018 20:23:40 -0400 Original-Received: by mail-wr1-f52.google.com with SMTP id r10-v6so10638638wrv.6 for <22034@debbugs.gnu.org>; Mon, 29 Oct 2018 17:23:39 -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=nPvrlybyJWIlK4if97le0+dLTuen74rF54mIEU9RRQI=; b=mLNAkZs2oCSQIzRlRsNdBFy+2cizAAVsfCDbcp8xc1FFLE2Gw7ZFz0gfuV/D6ijbzP p2+R/Ck3SUvyzE1PIbJU0C2+8//uBWnERL6QOX4HWW1AC+2+/DZIXr9Cpzsa1dGhoZIf mINg3DOVjNRS6a/Cd24yJthj7/CZ76qob6qm8EgFxox0VCj4oh+lxyuBSRfFhkVgMXm7 oflY+eeq8i4q0kUDWZzc+4zFic7z5KMexRPEzw3qmwn4jvmyN3czkhnjkdPuNvocnBra 0+54Ydy/Sjf85BAAIh+3qxdeu8+JqO991MX343Hs08ag9ATqtLVAqYU9cgd+4Mzo7JYl glLA== 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=nPvrlybyJWIlK4if97le0+dLTuen74rF54mIEU9RRQI=; b=J24AA52knN86PDylHyKuRqBpOvUvlaLI8yIK33OBnVZJz4VnsX0DBzmI6RTnnmzZVG GjR4ML5s6FUb8p0phVPpD99TRrbIsIdeHg0YKkU7tnuBEkxLdpL8XMvWXMaAjM7yF0SR TQfVkU4XJ0Kk26EhUoIiDXEXN6tOOv0N5vutbSDtPYaW+mpQZJ5IyK7tS2byJBoPyrAf szj4RB9UEG9tMrlc0Tuc4PKAitft2R7+PiOHSaZRB86I5EgnKQ6KFHPXM6XtrzjLZkMD K+1dz1dh2kDLkgBoHjSqPlC2g7EBCnFHXUf3at0736A5uElHNPiIxTCir4MgS9pfLZPn nuzg== X-Gm-Message-State: AGRZ1gK/8ZU+HyES2ATl4cGBVFoML+M0VfOVfKFHhEBLQI9Se7AwPLJb gIcec9BSO8k9yZ3C6Jxns6BMuyYFfyxWmTSizMhj9w== X-Google-Smtp-Source: AJdET5dhBS8IImF05VgpsKDCTzWXfF9KG4EX+2xkk4YC2fDHkoUYhi5K/kNWHo3Cqi3ebHl8fTRUhpvVZyOb0pcm/pM= X-Received: by 2002:adf:a447:: with SMTP id e7-v6mr16218136wra.190.1540859013419; Mon, 29 Oct 2018 17:23:33 -0700 (PDT) In-Reply-To: <87a7mx8boh.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:9251 Archived-At: --00000000000024ea2205796732df Content-Type: text/plain; charset="UTF-8" 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: +-------------------------------------------------------------------------+ | TAI seconds UTC seconds Posix seconds | | since since since | | midnight TAI midnight UTC midnight UTC | | 1 Jan 1970 1 Jan 1970 1 Jan 1970 Result of 'time-tai->date' | |-------------------------------------------------------------------------| |$2 = ((126230410 126230398 126230398 "1973-12-31T23:59:58Z") | | (126230411 126230399 126230399 "1973-12-31T23:59:59Z") | | (126230412 126230400 126230400 "1973-12-31T23:59:60Z") | | (126230413 126230401 126230400 "1974-01-01T00:00:00Z") | | (126230414 126230402 126230401 "1974-01-01T00:00:01Z")) | +-------------------------------------------------------------------------+ So as you see leap seconds are included in both the TAI and the UTC count, but not in the Posix count. -- John Cowan http://vrici.lojban.org/~cowan cowan@ccil.org I could dance with you till the cows come home. On second thought, I'd rather dance with the cows when you come home. --Rufus T. Firefly --00000000000024ea2205796732df Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable


On Mon, Oct 29, 2018 at 3:= 17 AM Mark H Weaver <mhw@netris.org> wrote:

Can you please be more concrete a= nd 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:

+---= ----------------------------------------------------------------------+
|=C2=A0 =C2=A0 =C2=A0 TAI seconds=C2=A0 UTC seconds Posix seconds=C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0|
|=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0s= ince=C2=A0 =C2=A0 =C2=A0 =C2=A0since=C2=A0 =C2=A0 =C2=A0 =C2=A0 since=C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 |
|=C2=A0 =C2=A0 =C2=A0mid= night TAI=C2=A0 midnight UTC midnight UTC=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0|
|=C2=A0 =C2=A0 =C2=A0 1 Jan 1970=C2=A0 =C2=A01 Jan 1970=C2=A0 =C2=A0= 1 Jan 1970=C2=A0 =C2=A0 Result of 'time-tai->date' |
|= -------------------------------------------------------------------------|<= /div>
|$2 =3D ((126230410=C2=A0 =C2=A0 126230398=C2=A0 =C2=A0 126230398= =C2=A0 =C2=A0 "1973-12-31T23:59:58Z")=C2=A0 =C2=A0 |
|= =C2=A0 =C2=A0 =C2=A0 (126230411=C2=A0 =C2=A0 126230399=C2=A0 =C2=A0 1262303= 99=C2=A0 =C2=A0 "1973-12-31T23:59:59Z")=C2=A0 =C2=A0 |
= |=C2=A0 =C2=A0 =C2=A0 (126230412=C2=A0 =C2=A0 126230400=C2=A0 =C2=A0 126230= 400=C2=A0 =C2=A0 "1973-12-31T23:59:60Z")=C2=A0 =C2=A0 |
|=C2=A0 =C2=A0 =C2=A0 (126230413=C2=A0 =C2=A0 126230401=C2=A0 =C2=A0 12623= 0400=C2=A0 =C2=A0 "1974-01-01T00:00:00Z")=C2=A0 =C2=A0 |
|=C2=A0 =C2=A0 =C2=A0 (126230414=C2=A0 =C2=A0 126230402=C2=A0 =C2=A0 1262= 30401=C2=A0 =C2=A0 "1974-01-01T00:00:01Z"))=C2=A0 =C2=A0|
+-----------------------------------------------------------------------= --+

So as you see leap seconds are included in bot= h the TAI and the UTC count,
but not in the Posix count.
=C2=A0
--=C2=A0
John Cowan=C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 http://vrici.l= ojban.org/~cowan=C2=A0 =C2=A0 =C2=A0 =C2=A0 cowan@ccil.org
I could dance with you till the cows co= me home.=C2=A0 On second thought,
I'd rather dance with the c= ows when you come home.
=C2=A0 =C2=A0 =C2=A0 =C2=A0 --Rufus T. Fi= refly
--00000000000024ea2205796732df--