From unknown Mon Jun 23 16:46:09 2025
X-Loop: help-debbugs@gnu.org
Subject: bug#26329: monotonic time not supplied by current-time
Resent-From: Zefram <zefram@fysh.org>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-CC: bug-guile@gnu.org
Resent-Date: Sat, 01 Apr 2017 11:19:01 +0000
Resent-Message-ID: <handler.26329.B.14910455353129@debbugs.gnu.org>
Resent-Sender: help-debbugs@gnu.org
X-GNU-PR-Message: report 26329
X-GNU-PR-Package: guile
X-GNU-PR-Keywords: 
To: 26329@debbugs.gnu.org
X-Debbugs-Original-To: bug-guile@gnu.org
Received: via spool by submit@debbugs.gnu.org id=B.14910455353129
          (code B ref -1); Sat, 01 Apr 2017 11:19:01 +0000
Received: (at submit) by debbugs.gnu.org; 1 Apr 2017 11:18:55 +0000
Received: from localhost ([127.0.0.1]:55102 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1cuH3X-0000oP-Lm
	for submit@debbugs.gnu.org; Sat, 01 Apr 2017 07:18:55 -0400
Received: from eggs.gnu.org ([208.118.235.92]:35122)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <zefram@fysh.org>) id 1cuH3W-0000oB-3g
 for submit@debbugs.gnu.org; Sat, 01 Apr 2017 07:18:54 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <zefram@fysh.org>) id 1cuH3Q-0000Qn-0Y
 for submit@debbugs.gnu.org; Sat, 01 Apr 2017 07:18:48 -0400
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level: 
X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,LOTS_OF_MONEY,
 T_DKIM_INVALID autolearn=disabled version=3.3.2
Received: from lists.gnu.org ([2001:4830:134:3::11]:46430)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <zefram@fysh.org>) id 1cuH3P-0000QP-Ul
 for submit@debbugs.gnu.org; Sat, 01 Apr 2017 07:18:47 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:54324)
 by lists.gnu.org with esmtp (Exim 4.71)
 (envelope-from <zefram@fysh.org>) id 1cuH3O-0005t5-QD
 for bug-guile@gnu.org; Sat, 01 Apr 2017 07:18:47 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <zefram@fysh.org>) id 1cuH3N-0000Og-V7
 for bug-guile@gnu.org; Sat, 01 Apr 2017 07:18:46 -0400
Received: from river6.fysh.org ([2001:41d0:d:20da::2]:47816
 helo=river.fysh.org)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
 (Exim 4.71) (envelope-from <zefram@fysh.org>) id 1cuH3N-0000LI-MZ
 for bug-guile@gnu.org; Sat, 01 Apr 2017 07:18:45 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fysh.org;
 s=20170316; 
 h=Content-Type:MIME-Version:Message-ID:Subject:To:From:Date;
 bh=1CYgwGtdgVN0ou3vvvWgM13LDaK5mP+GTbZjc1Wb9qk=; 
 b=6chRtDGx+uhRmJxZFc1JP+M8WCHmlQS91cF3eseE09FnqqG4v22hXi81P4lzltcl3YuVX9GGYezSZjPpZ+x0tqvr7jUrCrnSEk2x/SUhL9CzayV1gQZD8njx/TzUIXu+ywsea2HclFFp/mrSuc9zYO47EfDWyy3zpnXgbxDtAwM=;
Received: from zefram by river.fysh.org with local (Exim 4.84_2 #1 (Debian))
 id 1cuH3G-0000UK-Ga; Sat, 01 Apr 2017 12:18:38 +0100
Date: Sat, 1 Apr 2017 12:18:38 +0100
From: Zefram <zefram@fysh.org>
Message-ID: <20170401111838.GW6453@fysh.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
 recognized.
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x
X-Received-From: 2001:4830:134:3::11
X-Spam-Score: -4.0 (----)
X-BeenThere: debbugs-submit@debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit@debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request@debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces@debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
X-Spam-Score: -4.0 (----)

The SRFI-19 current-time function can return several flavours of the
current time:

scheme@(guile-user)> (use-modules (srfi srfi-19))
scheme@(guile-user)> (current-time time-utc)
$1 = #<time type: time-utc nanosecond: 727666000 second: 1491045256>
scheme@(guile-user)> (current-time time-tai)
$2 = #<time type: time-tai nanosecond: 414752000 second: 1491045294>
scheme@(guile-user)> (current-time time-monotonic)
$3 = #<time type: time-tai nanosecond: 814494000 second: 1491045297>

The last of these three is erroneous: a time structure of type
time-monotonic was requested and must be returned, but instead the
type is time-tai.  Although the implementation gives these two time
types numerically identical behaviour, it does treat them as nominally
distinct in other operations:

scheme@(guile-user)> (eqv? time-tai time-monotonic)
$4 = #f
scheme@(guile-user)> (julian-day->time-tai 2450000)
$5 = #<time type: time-tai nanosecond: 0 second: 813240029>
scheme@(guile-user)> (julian-day->time-monotonic 2450000)
$6 = #<time type: time-monotonic nanosecond: 0 second: 813240029>

-zefram




From unknown Mon Jun 23 16:46:09 2025
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
X-Loop: help-debbugs@gnu.org
From: help-debbugs@gnu.org (GNU bug Tracking System)
To: Zefram <zefram@fysh.org>
Subject: bug#26329: closed (Re: bug#26329: monotonic time not supplied by
 current-time)
Message-ID: <handler.26329.D26329.149260742522884.notifdone@debbugs.gnu.org>
References: <87lgqwo85k.fsf@igalia.com> <20170401111838.GW6453@fysh.org>
X-Gnu-PR-Message: they-closed 26329
X-Gnu-PR-Package: guile
Reply-To: 26329@debbugs.gnu.org
Date: Wed, 19 Apr 2017 13:11:02 +0000
Content-Type: multipart/mixed; boundary="----------=_1492607462-22957-1"

This is a multi-part message in MIME format...

------------=_1492607462-22957-1
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset="utf-8"

Your bug report

#26329: monotonic time not supplied by current-time

which was filed against the guile package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 26329@debbugs.gnu.org.

--=20
26329: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D26329
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

------------=_1492607462-22957-1
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit

Received: (at 26329-done) by debbugs.gnu.org; 19 Apr 2017 13:10:25 +0000
Received: from localhost ([127.0.0.1]:55690 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1d0pNJ-0005x2-FP
	for submit@debbugs.gnu.org; Wed, 19 Apr 2017 09:10:25 -0400
Received: from pb-sasl2.pobox.com ([64.147.108.67]:59105
 helo=sasl.smtp.pobox.com) by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <wingo@igalia.com>) id 1d0pNH-0005wr-L5
 for 26329-done@debbugs.gnu.org; Wed, 19 Apr 2017 09:10:24 -0400
Received: from sasl.smtp.pobox.com (unknown [127.0.0.1])
 by pb-sasl2.pobox.com (Postfix) with ESMTP id 14EDC82F8F;
 Wed, 19 Apr 2017 09:10:23 -0400 (EDT)
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to:cc
 :subject:references:date:in-reply-to:message-id:mime-version
 :content-type; s=sasl; bh=VC69yD3pqn3274b/S1lW6oFjCHs=; b=EJuGNA
 puFGwnP9UiN4WfmqxGJVGInJ87zABlcbDjuYbsOXfv+IO0IcaV7SFNC7XCnX0jHz
 CXVsMKtq28dChD4xgFzr4LdYFDg0CKli80YnshRU6MZfSsMY4ltKF/5c98bUps1b
 JcZMmUf6rp5mwVuwN1eC8HrX44DGM2dAOeLHo=
Received: from pb-sasl2.nyi.icgroup.com (unknown [127.0.0.1])
 by pb-sasl2.pobox.com (Postfix) with ESMTP id 0DE6982F8E;
 Wed, 19 Apr 2017 09:10:23 -0400 (EDT)
Received: from rusty (unknown [88.160.190.192])
 (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by pb-sasl2.pobox.com (Postfix) with ESMTPSA id 1ED4E82F8D;
 Wed, 19 Apr 2017 09:10:22 -0400 (EDT)
From: Andy Wingo <wingo@igalia.com>
To: Zefram <zefram@fysh.org>
Subject: Re: bug#26329: monotonic time not supplied by current-time
References: <20170401111838.GW6453@fysh.org>
Date: Wed, 19 Apr 2017 15:10:15 +0200
In-Reply-To: <20170401111838.GW6453@fysh.org> (zefram@fysh.org's message of
 "Sat, 1 Apr 2017 12:18:38 +0100")
Message-ID: <87lgqwo85k.fsf@igalia.com>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-Pobox-Relay-ID: 8B70197C-2501-11E7-859F-571C92A0D1B0-02397024!pb-sasl2.pobox.com
X-Spam-Score: 0.7 (/)
X-Debbugs-Envelope-To: 26329-done
Cc: 26329-done@debbugs.gnu.org
X-BeenThere: debbugs-submit@debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit@debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request@debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces@debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
X-Spam-Score: 0.7 (/)

On Sat 01 Apr 2017 13:18, Zefram <zefram@fysh.org> writes:

> The SRFI-19 current-time function can return several flavours of the
> current time:
>
> scheme@(guile-user)> (use-modules (srfi srfi-19))
> scheme@(guile-user)> (current-time time-utc)
> $1 = #<time type: time-utc nanosecond: 727666000 second: 1491045256>
> scheme@(guile-user)> (current-time time-tai)
> $2 = #<time type: time-tai nanosecond: 414752000 second: 1491045294>
> scheme@(guile-user)> (current-time time-monotonic)
> $3 = #<time type: time-tai nanosecond: 814494000 second: 1491045297>
>
> The last of these three is erroneous: a time structure of type
> time-monotonic was requested and must be returned, but instead the
> type is time-tai.

Thanks for the report; fixed.  Patches welcome too.

Andy


------------=_1492607462-22957-1
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit

Received: (at submit) by debbugs.gnu.org; 1 Apr 2017 11:18:55 +0000
Received: from localhost ([127.0.0.1]:55102 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1cuH3X-0000oP-Lm
	for submit@debbugs.gnu.org; Sat, 01 Apr 2017 07:18:55 -0400
Received: from eggs.gnu.org ([208.118.235.92]:35122)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <zefram@fysh.org>) id 1cuH3W-0000oB-3g
 for submit@debbugs.gnu.org; Sat, 01 Apr 2017 07:18:54 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <zefram@fysh.org>) id 1cuH3Q-0000Qn-0Y
 for submit@debbugs.gnu.org; Sat, 01 Apr 2017 07:18:48 -0400
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level: 
X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,LOTS_OF_MONEY,
 T_DKIM_INVALID autolearn=disabled version=3.3.2
Received: from lists.gnu.org ([2001:4830:134:3::11]:46430)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <zefram@fysh.org>) id 1cuH3P-0000QP-Ul
 for submit@debbugs.gnu.org; Sat, 01 Apr 2017 07:18:47 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:54324)
 by lists.gnu.org with esmtp (Exim 4.71)
 (envelope-from <zefram@fysh.org>) id 1cuH3O-0005t5-QD
 for bug-guile@gnu.org; Sat, 01 Apr 2017 07:18:47 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <zefram@fysh.org>) id 1cuH3N-0000Og-V7
 for bug-guile@gnu.org; Sat, 01 Apr 2017 07:18:46 -0400
Received: from river6.fysh.org ([2001:41d0:d:20da::2]:47816
 helo=river.fysh.org)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
 (Exim 4.71) (envelope-from <zefram@fysh.org>) id 1cuH3N-0000LI-MZ
 for bug-guile@gnu.org; Sat, 01 Apr 2017 07:18:45 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fysh.org;
 s=20170316; 
 h=Content-Type:MIME-Version:Message-ID:Subject:To:From:Date;
 bh=1CYgwGtdgVN0ou3vvvWgM13LDaK5mP+GTbZjc1Wb9qk=; 
 b=6chRtDGx+uhRmJxZFc1JP+M8WCHmlQS91cF3eseE09FnqqG4v22hXi81P4lzltcl3YuVX9GGYezSZjPpZ+x0tqvr7jUrCrnSEk2x/SUhL9CzayV1gQZD8njx/TzUIXu+ywsea2HclFFp/mrSuc9zYO47EfDWyy3zpnXgbxDtAwM=;
Received: from zefram by river.fysh.org with local (Exim 4.84_2 #1 (Debian))
 id 1cuH3G-0000UK-Ga; Sat, 01 Apr 2017 12:18:38 +0100
Date: Sat, 1 Apr 2017 12:18:38 +0100
From: Zefram <zefram@fysh.org>
To: bug-guile@gnu.org
Subject: monotonic time not supplied by current-time
Message-ID: <20170401111838.GW6453@fysh.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
 recognized.
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x
X-Received-From: 2001:4830:134:3::11
X-Spam-Score: -4.0 (----)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit@debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit@debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request@debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces@debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
X-Spam-Score: -4.0 (----)

The SRFI-19 current-time function can return several flavours of the
current time:

scheme@(guile-user)> (use-modules (srfi srfi-19))
scheme@(guile-user)> (current-time time-utc)
$1 = #<time type: time-utc nanosecond: 727666000 second: 1491045256>
scheme@(guile-user)> (current-time time-tai)
$2 = #<time type: time-tai nanosecond: 414752000 second: 1491045294>
scheme@(guile-user)> (current-time time-monotonic)
$3 = #<time type: time-tai nanosecond: 814494000 second: 1491045297>

The last of these three is erroneous: a time structure of type
time-monotonic was requested and must be returned, but instead the
type is time-tai.  Although the implementation gives these two time
types numerically identical behaviour, it does treat them as nominally
distinct in other operations:

scheme@(guile-user)> (eqv? time-tai time-monotonic)
$4 = #f
scheme@(guile-user)> (julian-day->time-tai 2450000)
$5 = #<time type: time-tai nanosecond: 0 second: 813240029>
scheme@(guile-user)> (julian-day->time-monotonic 2450000)
$6 = #<time type: time-monotonic nanosecond: 0 second: 813240029>

-zefram



------------=_1492607462-22957-1--