From unknown Fri Jun 20 07:25:09 2025
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.509 (Entity 5.509)
Content-Type: text/plain; charset=utf-8
From: bug#26162 <26162@debbugs.gnu.org>
To: bug#26162 <26162@debbugs.gnu.org>
Subject: Status: time-duration screws up negative durations
Reply-To: bug#26162 <26162@debbugs.gnu.org>
Date: Fri, 20 Jun 2025 14:25:09 +0000

retitle 26162 time-duration screws up negative durations
reassign 26162 guile
submitter 26162 Zefram <zefram@fysh.org>
severity 26162 normal

thanks


From debbugs-submit-bounces@debbugs.gnu.org Sat Mar 18 18:17:57 2017
Received: (at submit) by debbugs.gnu.org; 18 Mar 2017 22:17:57 +0000
Received: from localhost ([127.0.0.1]:34387 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1cpMfc-0003QJ-Rt
	for submit@debbugs.gnu.org; Sat, 18 Mar 2017 18:17:57 -0400
Received: from eggs.gnu.org ([208.118.235.92]:51278)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <zefram@fysh.org>) id 1cpMfb-0003Q6-8f
 for submit@debbugs.gnu.org; Sat, 18 Mar 2017 18:17:56 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <zefram@fysh.org>) id 1cpMfV-0007Ue-3J
 for submit@debbugs.gnu.org; Sat, 18 Mar 2017 18:17:49 -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,T_DKIM_INVALID
 autolearn=disabled version=3.3.2
Received: from lists.gnu.org ([2001:4830:134:3::11]:35992)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <zefram@fysh.org>) id 1cpMfV-0007UD-0E
 for submit@debbugs.gnu.org; Sat, 18 Mar 2017 18:17:49 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:42240)
 by lists.gnu.org with esmtp (Exim 4.71)
 (envelope-from <zefram@fysh.org>) id 1cpMfT-000541-Q0
 for bug-guile@gnu.org; Sat, 18 Mar 2017 18:17:48 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <zefram@fysh.org>) id 1cpMfS-0007Sw-Mq
 for bug-guile@gnu.org; Sat, 18 Mar 2017 18:17:47 -0400
Received: from river6.fysh.org ([2001:41d0:d:20da::2]:55010
 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 1cpMfS-0007S4-DB
 for bug-guile@gnu.org; Sat, 18 Mar 2017 18:17:46 -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=it1UMDNpoww01CKM+8GXrPii/azODPyievH6tf/xu50=; 
 b=T8m3uC4SOuCp2EHWx9BBmSTLIKgsOuKp5/OPAKWIW1MP7vzto305jgMP9gFdsxC8rqyUoIbG/S6c9fzPPYW8ix+3XGwASmXoaXNpB5gMq93L3cUIvOgPqsmD5D7WvAkE0WYM1H4nhnxsFdeBWKgtFcDz28PhitcqVqLLTidO9zc=;
Received: from zefram by river.fysh.org with local (Exim 4.84_2 #1 (Debian))
 id 1cpMfO-0004LE-SS; Sat, 18 Mar 2017 22:17:42 +0000
Date: Sat, 18 Mar 2017 22:17:42 +0000
From: Zefram <zefram@fysh.org>
To: bug-guile@gnu.org
Subject: time-duration screws up negative durations
Message-ID: <20170318221742.GI6518@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 (----)

Computing a difference between two SRFI-19 times, using time-difference,
produces sensible results if the result is positive, but often nonsense
if it's negative:

scheme@(guile-user)> (use-modules (srfi srfi-19))
scheme@(guile-user)> (time-difference (make-time time-tai 0 1) (make-time time-tai 1000 0))
$1 = #<time type: time-duration nanosecond: 999999000 second: 0>
scheme@(guile-user)> (time-difference (make-time time-tai 1000 0) (make-time time-tai 0 1))
$2 = #<time type: time-duration nanosecond: 1000001000 second: 0>

The above is computing the same interval both ways round.  The first time
is correct, but the second is obviously not the negative of the first.
The correct result for the second would be

    #<time type: time-duration nanosecond: 1000 second: -1>

or possibly, at a stretch,

    #<time type: time-duration nanosecond: -999999000 second: 0>

(SRFI-19 isn't clear about which way it's meant to be normalised.
Having the nanoseconds field always non-negative is less surprising and
easier to maintain through computation.)

-zefram




From debbugs-submit-bounces@debbugs.gnu.org Sun Oct 21 19:31:55 2018
Received: (at 26162-done) by debbugs.gnu.org; 21 Oct 2018 23:31:55 +0000
Received: from localhost ([127.0.0.1]:34871 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1gENCN-0007xr-BO
	for submit@debbugs.gnu.org; Sun, 21 Oct 2018 19:31:55 -0400
Received: from world.peace.net ([64.112.178.59]:37470)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <mhw@netris.org>) id 1gENCL-0007xe-I6
 for 26162-done@debbugs.gnu.org; Sun, 21 Oct 2018 19:31:53 -0400
Received: from mhw by world.peace.net with esmtpsa
 (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89)
 (envelope-from <mhw@netris.org>)
 id 1gENCF-0003dQ-My; Sun, 21 Oct 2018 19:31:47 -0400
From: Mark H Weaver <mhw@netris.org>
To: Zefram <zefram@fysh.org>
Subject: Re: bug#26162: time-duration screws up negative durations
References: <20170318221742.GI6518@fysh.org>
Date: Sun, 21 Oct 2018 19:31:32 -0400
In-Reply-To: <20170318221742.GI6518@fysh.org> (Zefram's message of "Sat, 18
 Mar 2017 22:17:42 +0000")
Message-ID: <87y3aqyizv.fsf@netris.org>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 26162-done
Cc: 26162-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: -1.0 (-)

Zefram <zefram@fysh.org> writes:

> Computing a difference between two SRFI-19 times, using time-difference,
> produces sensible results if the result is positive, but often nonsense
> if it's negative:
>
> scheme@(guile-user)> (use-modules (srfi srfi-19))
> scheme@(guile-user)> (time-difference (make-time time-tai 0 1) (make-time time-tai 1000 0))
> $1 = #<time type: time-duration nanosecond: 999999000 second: 0>
> scheme@(guile-user)> (time-difference (make-time time-tai 1000 0) (make-time time-tai 0 1))
> $2 = #<time type: time-duration nanosecond: 1000001000 second: 0>
>
> The above is computing the same interval both ways round.  The first time
> is correct, but the second is obviously not the negative of the first.

This is fixed by commit 437e1aa03659b77a8eb4b5c6d2b104c03d038564 on the
stable-2.2 branch.  I'm closing this bug now, but feel free to reopen if
appropriate.

> The correct result for the second would be
>
>     #<time type: time-duration nanosecond: 1000 second: -1>
>
> or possibly, at a stretch,
>
>     #<time type: time-duration nanosecond: -999999000 second: 0>

Most of the code in the SRFI-19 reference implementation assumes that
the nanoseconds and seconds fields will have matching signs (if both
non-zero), so I've taken care to use that convention exclusively.

     Thanks,
       Mark




From unknown Fri Jun 20 07:25:09 2025
Received: (at fakecontrol) by fakecontrolmessage;
To: internal_control@debbugs.gnu.org
From: Debbugs Internal Request <help-debbugs@gnu.org>
Subject: Internal Control
Message-Id: bug archived.
Date: Mon, 19 Nov 2018 12:24:05 +0000
User-Agent: Fakemail v42.6.9

# This is a fake control message.
#
# The action:
# bug archived.
thanks
# This fakemail brought to you by your local debbugs
# administrator