From unknown Sat Sep 13 21:15:01 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#72376 <72376@debbugs.gnu.org> To: bug#72376 <72376@debbugs.gnu.org> Subject: Status: srfi-64: test-equal evaluates test-name multiple times Reply-To: bug#72376 <72376@debbugs.gnu.org> Date: Sun, 14 Sep 2025 04:15:01 +0000 retitle 72376 srfi-64: test-equal evaluates test-name multiple times reassign 72376 guile submitter 72376 Tomas Volf <~@wolfsden.cz> severity 72376 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Tue Jul 30 15:52:47 2024 Received: (at submit) by debbugs.gnu.org; 30 Jul 2024 19:52:47 +0000 Received: from localhost ([127.0.0.1]:48506 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sYstr-0006a6-DZ for submit@debbugs.gnu.org; Tue, 30 Jul 2024 15:52:47 -0400 Received: from lists.gnu.org ([209.51.188.17]:45456) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <~@wolfsden.cz>) id 1sYstY-0006YR-Lm for submit@debbugs.gnu.org; Tue, 30 Jul 2024 15:52:29 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <~@wolfsden.cz>) id 1sYstJ-0004vW-Su for bug-guile@gnu.org; Tue, 30 Jul 2024 15:52:13 -0400 Received: from wolfsden.cz ([37.205.8.62]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <~@wolfsden.cz>) id 1sYstH-0006s1-H8 for bug-guile@gnu.org; Tue, 30 Jul 2024 15:52:13 -0400 Received: by wolfsden.cz (Postfix, from userid 104) id A70BA29392E; Tue, 30 Jul 2024 19:51:57 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail; t=1722369117; bh=lGINPd70B71e/aRnFlpNXX3xuFN8ig/yR9DlTlnrdmM=; h=Date:From:To:Subject; b=fqiSfjC64WSb7UxmgY4RFvA01n6Fv7ZYtSqaWFtZ06Cf/K6MQHlC2ld3ALwZyoyGB +sEzk4voKjTzApcyGG+S9v5/N4K907ka+q+Aqm0Mi8OSZ+0Q3doefj1413R0gXFqr8 fYTFVDFC4CNro6O7Co0nGnfBw51+SWEexTBufS7efCP8h7+NkPHDOeHP/Blbf2cz7k dRJBdK5QaD2PrW/F0ymwiIJeFOcVvLwtLvPbDOhRXdidXiqoT9siPaRr36WHFZ1xce Zp9Hj/M7UH1raLvzJbLn/+fWDIoyJMwIJP8zI7+QNu6kCBVmfFQkBrmzTxB6bZxsqU 5+lhDB4BdC7gEbotP/LvZACIpVJ0ioQ0RQNWPujeU/VF3xvRCEKakpRB/C9B97fqAF LIUqog20U/ZtVXF6ubfCXwQzptsREBRsZdyEd0rn0AFa1XYrWD3qefeFhmMFV93W+H vKireyq2x2fIVzuUIxJsFKL8mm52iM70HpYe4AN+NI7tspwf6yhIHJMIbkDzkBr2zs H3fA2oELjLC/PhAtdw4iQhQ0IUAdJlsnCU2Ir5mEmo/TjYFsN4h5rfQGB+Cdrslrtt IBFcdF/+qKah0DNfVsQdEMWlnQTlA2l8EC573xeV6JQRrTrLpMKsLI+pjki7FTi9tt BpcdskShTIaRGDsz+dLkIi4k= X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on wolfsden X-Spam-Level: X-Spam-Status: No, score=-1.2 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from localhost (unknown [128.0.188.242]) by wolfsden.cz (Postfix) with ESMTPSA id 696CE29328E for ; Tue, 30 Jul 2024 19:51:57 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail; t=1722369117; bh=lGINPd70B71e/aRnFlpNXX3xuFN8ig/yR9DlTlnrdmM=; h=Date:From:To:Subject; b=fqiSfjC64WSb7UxmgY4RFvA01n6Fv7ZYtSqaWFtZ06Cf/K6MQHlC2ld3ALwZyoyGB +sEzk4voKjTzApcyGG+S9v5/N4K907ka+q+Aqm0Mi8OSZ+0Q3doefj1413R0gXFqr8 fYTFVDFC4CNro6O7Co0nGnfBw51+SWEexTBufS7efCP8h7+NkPHDOeHP/Blbf2cz7k dRJBdK5QaD2PrW/F0ymwiIJeFOcVvLwtLvPbDOhRXdidXiqoT9siPaRr36WHFZ1xce Zp9Hj/M7UH1raLvzJbLn/+fWDIoyJMwIJP8zI7+QNu6kCBVmfFQkBrmzTxB6bZxsqU 5+lhDB4BdC7gEbotP/LvZACIpVJ0ioQ0RQNWPujeU/VF3xvRCEKakpRB/C9B97fqAF LIUqog20U/ZtVXF6ubfCXwQzptsREBRsZdyEd0rn0AFa1XYrWD3qefeFhmMFV93W+H vKireyq2x2fIVzuUIxJsFKL8mm52iM70HpYe4AN+NI7tspwf6yhIHJMIbkDzkBr2zs H3fA2oELjLC/PhAtdw4iQhQ0IUAdJlsnCU2Ir5mEmo/TjYFsN4h5rfQGB+Cdrslrtt IBFcdF/+qKah0DNfVsQdEMWlnQTlA2l8EC573xeV6JQRrTrLpMKsLI+pjki7FTi9tt BpcdskShTIaRGDsz+dLkIi4k= Date: Tue, 30 Jul 2024 21:51:57 +0200 From: Tomas Volf <~@wolfsden.cz> To: bug-guile@gnu.org Subject: srfi-64: test-equal evaluates test-name multiple times Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Received-SPF: pass client-ip=37.205.8.62; envelope-from=~@wolfsden.cz; helo=wolfsden.cz X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) Hello, I think I found a bug in (srfi srfi-64) module shipped with GNU Guile. The specification says that test-equal is equivalent to: > (test-assert [test-name] (equal? expected test-expr)) Hence the test-assert's requirement to evaluate test-name only once applies. However the test-name is evaluated multiple times: (use-modules (srfi srfi-64)) (test-begin "x") (test-equal (pk "t") #t #t) Leading to: ;;; ("t") ;;; ("t") Have a nice day Tomas Volf From debbugs-submit-bounces@debbugs.gnu.org Tue Oct 01 18:23:00 2024 Received: (at 72376) by debbugs.gnu.org; 1 Oct 2024 22:23:01 +0000 Received: from localhost ([127.0.0.1]:54049 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1svlGm-0005tM-HP for submit@debbugs.gnu.org; Tue, 01 Oct 2024 18:23:00 -0400 Received: from mail-ej1-f41.google.com ([209.85.218.41]:39851) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1svlGl-0005t7-3X for 72376@debbugs.gnu.org; Tue, 01 Oct 2024 18:22:59 -0400 Received: by mail-ej1-f41.google.com with SMTP id a640c23a62f3a-a90f263c60fso28996166b.3 for <72376@debbugs.gnu.org>; Tue, 01 Oct 2024 15:22:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1727821314; x=1728426114; darn=debbugs.gnu.org; h=in-reply-to:from:content-language:references:to:subject:user-agent :mime-version:date:message-id:from:to:cc:subject:date:message-id :reply-to; bh=MkntKs4855hlmTUtYHB/gsEz/VkS1EQBco8Q6olaBmI=; b=CELKH5JijFa7/NkKM5BmqB0uHhT6Tnu18DF8eUHChqg9echAhYvP1vQbUTGhXRr5IY 26ApQCCSh8w7A10d4dy7ghMb1yqiHbRlGqmA9fPR832hnGupWeQFHkCNJDWLDfHG9sra pCpEtJ7chiOdr0cApKoCXDuZBWbWH/jBGHIt9KH09mPyCqLF3llFFLdrKVo1mb9AwrQs kyepBE6sWCaHLcbAMJLvL0Sf1xfYCQPTmmQEVDqg0EC4o6AzCpVl7neZkiDu22ukFB+U 4DRo2Ln1t7080bZIE+pciv1IzzFPM9Oq82c3Wuy6Tg/XFqaFo6Uv4RBMXLQsQAPOneON 7LNg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1727821314; x=1728426114; h=in-reply-to:from:content-language:references:to:subject:user-agent :mime-version:date:message-id:x-gm-message-state:from:to:cc:subject :date:message-id:reply-to; bh=MkntKs4855hlmTUtYHB/gsEz/VkS1EQBco8Q6olaBmI=; b=Tvuqj4W4F9CCAty6xcxpDY2G4m2LI7mwzUD+KWH9XJMVQgPBu4WJZ1u7RPHh0AQ54v gBls1MW3iITYWyxKtqnv4o6sB5jJOjANc1eClIaUiVfm/E5acFIQgt/caweqJWbWdfha 1eZkQY5dnmKIh0NuzgR6n6aVJmgsau9+Pi7MXdfTVVU+PIiJf6uW1B3dkRhbwRPWsqpt TcTNUbLWqVIByOC7OaFWh192RdXCo2ALoH4lHCDTHBBk23b9S6DIXeYYxSqD461zvwzf HHhu9+cC+P+KlOXXU2xGboWeHjDuNTKdBE4i+GRNhLllSKlSxWwyDLWAf8vcjxVlSyrp 25Kw== X-Forwarded-Encrypted: i=1; AJvYcCWK+ar4348ePcjTthv0XHo0XNRWo0tHUyfRwT4kMswM3ormI5QVVdEvaOoY0UVje0AmUDMydQ==@debbugs.gnu.org X-Gm-Message-State: AOJu0YwgfWjoAtswGm8ID35mp+35KmQvUapUsoFwMMFlr80jC04I9KwP ip772M1LUG0TYq2QI8cK6E/UhYYbC3p9vZB3moqvwpgueWz6s6T74UZrM/31 X-Google-Smtp-Source: AGHT+IGR5YhqFSbjwJVUeqSdnL83SWTV/yeaVV6mdYn34+Z96Vw94/xFUFhbbDiaLSvNiMM8+PkXAQ== X-Received: by 2002:a17:907:6d03:b0:a8d:2623:cd4a with SMTP id a640c23a62f3a-a98f8386da0mr37945666b.12.1727821313426; Tue, 01 Oct 2024 15:21:53 -0700 (PDT) Received: from ?IPV6:2003:106:8f04:c300:95ac:529d:6db3:196b? (p200301068f04c30095ac529d6db3196b.dip0.t-ipconnect.de. [2003:106:8f04:c300:95ac:529d:6db3:196b]) by smtp.gmail.com with ESMTPSA id a640c23a62f3a-a93c297a30dsm770809366b.160.2024.10.01.15.21.52 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 01 Oct 2024 15:21:53 -0700 (PDT) Content-Type: multipart/alternative; boundary="------------y0hoVYQQNhkoSYwv0xIYso7f" Message-ID: <4ad1e8e1-0797-4a8c-8a19-629986b5e4b7@gmail.com> Date: Wed, 2 Oct 2024 00:21:51 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: bug#72376: srfi-64: test-equal evaluates test-name multiple times To: Tomas Volf <~@wolfsden.cz>, 72376@debbugs.gnu.org References: Content-Language: en-US From: Taylan Kammer In-Reply-To: X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 72376 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) This is a multi-part message in MIME format. --------------y0hoVYQQNhkoSYwv0xIYso7f Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit On 30.07.2024 21:51, Tomas Volf wrote: > Hello, > > I think I found a bug in (srfi srfi-64) module shipped with GNU Guile. > > The specification says that test-equal is equivalent to: > >> (test-assert [test-name] (equal? expected test-expr)) > Hence the test-assert's requirement to evaluate test-name only once applies. > > However the test-name is evaluated multiple times: > > (use-modules (srfi srfi-64)) > (test-begin "x") > (test-equal (pk "t") #t #t) > > Leading to: > > ;;; ("t") > > ;;; ("t") > > Have a nice day > Tomas Volf > > Same exact deal as in bug reports 72372, 72373, and 72375. Fixing 72375 would fix this one too, as test-eq, test-eqv, and test-equal share a helper procedure, and the bug is in that helper procedure. Already fixed in my implementation. - Taylan --------------y0hoVYQQNhkoSYwv0xIYso7f Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 7bit
On 30.07.2024 21:51, Tomas Volf wrote:
Hello,

I think I found a bug in (srfi srfi-64) module shipped with GNU Guile.

The specification says that test-equal is equivalent to:


(test-assert [test-name] (equal? expected test-expr))

Hence the test-assert's requirement to evaluate test-name only once applies.

However the test-name is evaluated multiple times:

    (use-modules (srfi srfi-64))
    (test-begin "x")
    (test-equal (pk "t") #t #t)

Leading to:

    ;;; ("t")

    ;;; ("t")

Have a nice day
Tomas Volf

Same exact deal as in bug reports 72372, 72373, and 72375.

Fixing 72375 would fix this one too, as test-eq, test-eqv, and test-equal share a helper procedure, and the bug is in that helper procedure.

Already fixed in my implementation.

- Taylan

--------------y0hoVYQQNhkoSYwv0xIYso7f-- From debbugs-submit-bounces@debbugs.gnu.org Mon Oct 21 16:29:20 2024 Received: (at control) by debbugs.gnu.org; 21 Oct 2024 20:29:20 +0000 Received: from localhost ([127.0.0.1]:53536 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t2z1k-0004XZ-6o for submit@debbugs.gnu.org; Mon, 21 Oct 2024 16:29:20 -0400 Received: from wolfsden.cz ([37.205.8.62]:38850) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <~@wolfsden.cz>) id 1t2z1f-0004Wp-06 for control@debbugs.gnu.org; Mon, 21 Oct 2024 16:29:15 -0400 Received: by wolfsden.cz (Postfix, from userid 104) id 776E0330C6E; Mon, 21 Oct 2024 20:28:47 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail; t=1729542527; bh=qDg1YeLhTUiliy2R7rfjS0K+tAmvPZejn85mJPXBegc=; h=Date:To:From:Subject; b=xATNr7rclH9H/T6Bbw71+sgQ/FeNiewqiY3CsDeUDqzPe2sgL42PrkX4tPY/tcrFV mxmGOMfmDhB87mzLcj0T1G+XOBD/SZDChhtlLSJZ9jCtcdNdkOmm4OyvcYCwiFaGbh P65Qq/Zr1b1hshz4ydDJhlx/B57cUo5+j6sa+2vETtAxXYdhj47E+QUGg+8bAxPcpH Bjx2iwim+r5P/U6RSbzUFLKoNpUL83VqQrLdjnB79QXbXIpys+E0kpdN/xEWUg9xRb SzB/7pD3b9x87EQnzI0TDzKemrlnEVMYRR91jViCBompEp13EG09cRsuL9H4k3GpKH B+eMBi6F3DaeSRrFeiuWhcA9rhvBFuALIssRS1DiG1rBI49Z8Jb9l5K65ZoaeOg5ka lbhswbr0V2ap88yMhNSVmj6rYiFXQXEhUEF+oky4T06gd+6ws6Se2O/B5X3iyO6NEF bJaKk/F3ko8fn4wPP7W3yy3VguwA/nhH121+DAqYyqr0dCmpFpNIkE4RpH9iVbmZZH YyvKEM6qFhXP3w3Tz04QWz7t7zARR1gc8J7O2Q5pbiHzz8WK/68KyiEqTfet9pbcN2 5Yiz3lVqgL8FKTF9BxH48w7wY56m8fJFQp640+vVbvPexgu/WgX+pz2P8rIJaZ8GAU dezN/6pcZ+JUo+NBLGiZVXOQ= X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on wolfsden X-Spam-Level: X-Spam-Status: No, score=-3.1 required=5.0 tests=ALL_TRUSTED,BAYES_00, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from localhost (unknown [193.32.127.157]) by wolfsden.cz (Postfix) with ESMTPSA id 192423310D0 for ; Mon, 21 Oct 2024 20:28:47 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail; t=1729542527; bh=qDg1YeLhTUiliy2R7rfjS0K+tAmvPZejn85mJPXBegc=; h=Date:To:From:Subject; b=xATNr7rclH9H/T6Bbw71+sgQ/FeNiewqiY3CsDeUDqzPe2sgL42PrkX4tPY/tcrFV mxmGOMfmDhB87mzLcj0T1G+XOBD/SZDChhtlLSJZ9jCtcdNdkOmm4OyvcYCwiFaGbh P65Qq/Zr1b1hshz4ydDJhlx/B57cUo5+j6sa+2vETtAxXYdhj47E+QUGg+8bAxPcpH Bjx2iwim+r5P/U6RSbzUFLKoNpUL83VqQrLdjnB79QXbXIpys+E0kpdN/xEWUg9xRb SzB/7pD3b9x87EQnzI0TDzKemrlnEVMYRR91jViCBompEp13EG09cRsuL9H4k3GpKH B+eMBi6F3DaeSRrFeiuWhcA9rhvBFuALIssRS1DiG1rBI49Z8Jb9l5K65ZoaeOg5ka lbhswbr0V2ap88yMhNSVmj6rYiFXQXEhUEF+oky4T06gd+6ws6Se2O/B5X3iyO6NEF bJaKk/F3ko8fn4wPP7W3yy3VguwA/nhH121+DAqYyqr0dCmpFpNIkE4RpH9iVbmZZH YyvKEM6qFhXP3w3Tz04QWz7t7zARR1gc8J7O2Q5pbiHzz8WK/68KyiEqTfet9pbcN2 5Yiz3lVqgL8FKTF9BxH48w7wY56m8fJFQp640+vVbvPexgu/WgX+pz2P8rIJaZ8GAU dezN/6pcZ+JUo+NBLGiZVXOQ= Date: Mon, 21 Oct 2024 22:28:46 +0200 Message-ID: <9c4c78355f37b461667a4e63d6512f27@wolfsden.cz> To: control@debbugs.gnu.org From: Tomas Volf <~@wolfsden.cz> Subject: control message for bug #72376 X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) close 72376 quit From unknown Sat Sep 13 21:15:01 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Tue, 19 Nov 2024 12:24:22 +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