From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Zefram Newsgroups: gmane.lisp.guile.bugs Subject: bug#22034: time-utc->date shows bogus zone-dependent leap second Date: Fri, 27 Nov 2015 19:51:46 +0000 Message-ID: <20151127195146.GB28472@fysh.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1448653999 14327 80.91.229.3 (27 Nov 2015 19:53:19 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 27 Nov 2015 19:53:19 +0000 (UTC) To: 22034@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Fri Nov 27 20:53:07 2015 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1a2P4q-0004gu-FP for guile-bugs@m.gmane.org; Fri, 27 Nov 2015 20:53:04 +0100 Original-Received: from localhost ([::1]:58323 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1a2P4t-0003y8-0N for guile-bugs@m.gmane.org; Fri, 27 Nov 2015 14:53:07 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:50140) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1a2P4p-0003xf-DO for bug-guile@gnu.org; Fri, 27 Nov 2015 14:53:04 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1a2P4o-00057x-FJ for bug-guile@gnu.org; Fri, 27 Nov 2015 14:53:03 -0500 Original-Received: from debbugs.gnu.org ([208.118.235.43]:38533) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1a2P4o-00057e-DF for bug-guile@gnu.org; Fri, 27 Nov 2015 14:53:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1a2P4o-0002gk-5X for bug-guile@gnu.org; Fri, 27 Nov 2015 14:53:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Zefram Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Fri, 27 Nov 2015 19:53:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 22034 X-GNU-PR-Package: guile X-GNU-PR-Keywords: X-Debbugs-Original-To: bug-guile@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.144865393510270 (code B ref -1); Fri, 27 Nov 2015 19:53:01 +0000 Original-Received: (at submit) by debbugs.gnu.org; 27 Nov 2015 19:52:15 +0000 Original-Received: from localhost ([127.0.0.1]:56474 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1a2P42-0002fa-VR for submit@debbugs.gnu.org; Fri, 27 Nov 2015 14:52:15 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:39678) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1a2P3h-0002dp-Gq for submit@debbugs.gnu.org; Fri, 27 Nov 2015 14:52:13 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1a2P3g-0004ru-6I for submit@debbugs.gnu.org; Fri, 27 Nov 2015 14:51:52 -0500 Original-Received: from lists.gnu.org ([2001:4830:134:3::11]:48401) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1a2P3g-0004rp-3o for submit@debbugs.gnu.org; Fri, 27 Nov 2015 14:51:52 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:49677) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1a2P3f-0003mX-6f for bug-guile@gnu.org; Fri, 27 Nov 2015 14:51:52 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1a2P3e-0004rU-9O for bug-guile@gnu.org; Fri, 27 Nov 2015 14:51:51 -0500 Original-Received: from river6.fysh.org ([2001:41d0:d:20da::2]:55895 helo=river.fysh.org) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1a2P3e-0004rG-3V for bug-guile@gnu.org; Fri, 27 Nov 2015 14:51:50 -0500 Original-Received: from zefram by river.fysh.org with local (Exim 4.80 #2 (Debian)) id 1a2P3a-0008Ba-KN; Fri, 27 Nov 2015 19:51:46 +0000 Content-Disposition: inline X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x 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-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:7909 Archived-At: 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)) scheme@(guile-user)> (tdate (make-date 0 59 59 22 30 6 2012 0)) ("2012-06-30T22:59:59Z" "2012-06-30T23:59:59+0100") scheme@(guile-user)> (tdate (make-date 0 0 0 23 30 6 2012 0)) ("2012-06-30T23:00:00Z" "2012-06-30T23:59:60+0100") scheme@(guile-user)> (tdate (make-date 0 1 0 23 30 6 2012 0)) ("2012-06-30T23:00:01Z" "2012-07-01T00:00:01+0100") These are three consecutive seconds that occur an hour before a genuine leap second (at 23:59:60Z). Observe that time-utc->date, applied to the middle second, describes it as a leap second happening at 23:59:60+01:00, which is bogus. Describing the same seconds on input as a date structure with a non-zero zone offset produces the same wrong output, and requesting output with a different zone offset changes which second is affected. The faulty output is always 23:59:60 in the output zone. Matching up with this, the actual leap second is never correctly described with a non-zero zone offset. It should be, for example, 00:59:60+01:00. However, probing for this side of the problem also runs into the round-tripping failure that I described in bug#22033. -zefram