From unknown Sat Sep 13 23:43:08 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#72375 <72375@debbugs.gnu.org> To: bug#72375 <72375@debbugs.gnu.org> Subject: Status: srfi-64: test-eqv evaluates test-name multiple times Reply-To: bug#72375 <72375@debbugs.gnu.org> Date: Sun, 14 Sep 2025 06:43:08 +0000 retitle 72375 srfi-64: test-eqv evaluates test-name multiple times reassign 72375 guile submitter 72375 Tomas Volf <~@wolfsden.cz> severity 72375 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]:48504 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sYstq-0006a0-So for submit@debbugs.gnu.org; Tue, 30 Jul 2024 15:52:47 -0400 Received: from lists.gnu.org ([209.51.188.17]:45446) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <~@wolfsden.cz>) id 1sYstX-0006YB-NC for submit@debbugs.gnu.org; Tue, 30 Jul 2024 15:52:28 -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 1sYstI-0004vO-UH for bug-guile@gnu.org; Tue, 30 Jul 2024 15:52:12 -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-0006rx-GF for bug-guile@gnu.org; Tue, 30 Jul 2024 15:52:12 -0400 Received: by wolfsden.cz (Postfix, from userid 104) id 6B166291F75; 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=WJyJP2EaxnFOHcbBW46qBGDnQGpvmMWh4hAg/lCx0Fk=; h=Date:From:To:Subject; b=PlBi2MSwdEUMqV1FNal69ErD9PgjOIR4VXIaKVbu1ALyB2aSV5Td2hEie/B7RlmA2 Cw1QH5ne8WQVl/bqX21m9RUrKkF8CV4Jtj3+IfC/aNaakeJQMbvA9AW0pSr4VurseW 980k2UQaQ0aSZvVSCRN5b5usJP9ufSrailB3oQqSCXVqlpKXCsiIhSEBaDEz9w/Ptl pLxp9ytgndrxHtSfWOT7BTy7HKX/VorToeHg7dLKwXz9CgehUG94TQQcq4v+FAycXT mldQlOqR6tH3ncf1di/esajXO3pR2FhS1QnjPdHRvQ/ugXzY81YIhhQ8PsvTOmHPN+ F50uVATT41XNjQYtLNndCxxTEj9TT9z/qcdqrE+fSb0IW4KbHJ2lWlv1XCGaYL95/q ZnYzYyxTPDesstYAjnBMO9/XiHeEOupCssAJEHvAr0aAZUKeSR16ZULMNTs3BjSnmi zHLMEuFYFGsuuoUDkRARetuzioPg6A8qrnGyoAGOHchJ/FI7oqNr/o7v/kaq7muY4S SuUJKQTDNLMYy7HuPbgPiodd5DtM01mQJddME9RU/+gTVT+QAiLo4m5urYTtSdeRDO 2PlV56nwNdVZRJ8ugAiIWjdywV4G2aHKTIXgNUU/LjDsGxQgUR07hb4XtXK88fUYR4 ISIIdRu+E7nyw0+vzinu1eiE= 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 EDF9B2936D8 for ; Tue, 30 Jul 2024 19:51:56 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail; t=1722369117; bh=WJyJP2EaxnFOHcbBW46qBGDnQGpvmMWh4hAg/lCx0Fk=; h=Date:From:To:Subject; b=PlBi2MSwdEUMqV1FNal69ErD9PgjOIR4VXIaKVbu1ALyB2aSV5Td2hEie/B7RlmA2 Cw1QH5ne8WQVl/bqX21m9RUrKkF8CV4Jtj3+IfC/aNaakeJQMbvA9AW0pSr4VurseW 980k2UQaQ0aSZvVSCRN5b5usJP9ufSrailB3oQqSCXVqlpKXCsiIhSEBaDEz9w/Ptl pLxp9ytgndrxHtSfWOT7BTy7HKX/VorToeHg7dLKwXz9CgehUG94TQQcq4v+FAycXT mldQlOqR6tH3ncf1di/esajXO3pR2FhS1QnjPdHRvQ/ugXzY81YIhhQ8PsvTOmHPN+ F50uVATT41XNjQYtLNndCxxTEj9TT9z/qcdqrE+fSb0IW4KbHJ2lWlv1XCGaYL95/q ZnYzYyxTPDesstYAjnBMO9/XiHeEOupCssAJEHvAr0aAZUKeSR16ZULMNTs3BjSnmi zHLMEuFYFGsuuoUDkRARetuzioPg6A8qrnGyoAGOHchJ/FI7oqNr/o7v/kaq7muY4S SuUJKQTDNLMYy7HuPbgPiodd5DtM01mQJddME9RU/+gTVT+QAiLo4m5urYTtSdeRDO 2PlV56nwNdVZRJ8ugAiIWjdywV4G2aHKTIXgNUU/LjDsGxQgUR07hb4XtXK88fUYR4 ISIIdRu+E7nyw0+vzinu1eiE= Date: Tue, 30 Jul 2024 21:51:56 +0200 From: Tomas Volf <~@wolfsden.cz> To: bug-guile@gnu.org Subject: srfi-64: test-eqv 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-eqv is equivalent to: > (test-assert [test-name] (eqv? 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-eqv (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:20:04 2024 Received: (at 72375) by debbugs.gnu.org; 1 Oct 2024 22:20:04 +0000 Received: from localhost ([127.0.0.1]:54033 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1svlDv-0005k6-OB for submit@debbugs.gnu.org; Tue, 01 Oct 2024 18:20:04 -0400 Received: from mail-ed1-f53.google.com ([209.85.208.53]:38735) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1svlDt-0005iW-EY for 72375@debbugs.gnu.org; Tue, 01 Oct 2024 18:20:02 -0400 Received: by mail-ed1-f53.google.com with SMTP id 4fb4d7f45d1cf-5c876b6c061so594209a12.3 for <72375@debbugs.gnu.org>; Tue, 01 Oct 2024 15:20:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1727821141; x=1728425941; darn=debbugs.gnu.org; h=content-transfer-encoding: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=qv7NiX9dmoZOY63/D7K8hOG3v9GmOT3Xod3WGcUD41U=; b=IGZEHSalBy3nBkDheO7h+2Y3ldQPCIb3PR4+NP1WA5tiFG9Jopg5WTDWq5bNs1PZ9S I9hsLbrXna9ns54Smigg/XoBPYsbopZIC02jy80BP1LOJMhuU+Bn0a77VMcR6NQl6P1z RDErwvA14MwD2exFBiAayPXehUjBfW10/eyHCOHx8lrWI/UfNmUyR3ZY2yag3eMYmmfX FlWOaRZ27SfXkumD4KYpKBxt/5XlkvdHqMUw1RQxJZvsOdsUXxk+rJt9wsJX8A+H8K1q V89WUmyBtz/JwqzqPh3cDtd9H+KC6aKFR2fmoj9e9azd/HuVmrZNVxWvZqOE8CZTaGau RAgw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1727821141; x=1728425941; h=content-transfer-encoding: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=qv7NiX9dmoZOY63/D7K8hOG3v9GmOT3Xod3WGcUD41U=; b=k+vNUzJOA0f2TZqwDqgGCmcXwrXGZFmKqz323WowEOBBGPMdFwKuQXM2BfKyBa1B4C SDSlxiHpaGBLSRjL7/XQ2padeGCKsE7xBwzUQYD1vWHkJzeopHzo/KaOEoJcMgsPkdal mPay8n82f/NI75aS5NzmkI9vbyB10ohFD6AjhF1TejI3gO+eU8MNRkSdeD3yTPSXi+Zb cq8eHGDoK/rWBjY/hB+H10cIq1NTVozsx0OUZ9rvVF9yrc+1NZMFhMFlW4UnH6K9dK9i JKvIGPR0IP9jmgFsv7bEQCFh8lt6fUNoLrea++pS2p2YCBdla3BrRE3hRwyDvLEE/1Hi qXdw== X-Forwarded-Encrypted: i=1; AJvYcCUIqtKQ/zD0YT1PG94lEgBbqruyxSB8RItNx/nbsmOfTey9qXNNiO5gJUEJJmYNPyPG1WPfKA==@debbugs.gnu.org X-Gm-Message-State: AOJu0YxYAShul9rTFV0bsn/gYNgu+cVo0L8jNVHKyMXXvjZatCs/m87q e3zxXbaWlUHdcBIQKJjqzWhiGJZ115gSl5dGmAVfLdz69O5u3BFN X-Google-Smtp-Source: AGHT+IGy8Yk0t9sALmhjfnqYXNUdNW0AD1okpmkiTY7KxO0t9sCw9rr1/BRuyFFsxkp9Kdek8K6c9w== X-Received: by 2002:a05:6402:5216:b0:5c8:8381:c29d with SMTP id 4fb4d7f45d1cf-5c8b18b0fcamr248638a12.1.1727821140780; Tue, 01 Oct 2024 15:19:00 -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 4fb4d7f45d1cf-5c882493b74sm6783292a12.79.2024.10.01.15.19.00 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 01 Oct 2024 15:19:00 -0700 (PDT) Message-ID: <87cbf239-6707-49fe-b124-a4997b6ae656@gmail.com> Date: Wed, 2 Oct 2024 00:18:59 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: bug#72375: srfi-64: test-eqv evaluates test-name multiple times To: Tomas Volf <~@wolfsden.cz>, 72375@debbugs.gnu.org References: Content-Language: en-US From: Taylan Kammer In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 72375 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 (-) 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-eqv is equivalent to: > >> (test-assert [test-name] (eqv? 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-eqv (pk "t") #t #t) > > Leading to: > > ;;; ("t") > > ;;; ("t") > > Have a nice day > Tomas Volf > > Same exact deal as in bug reports 72372 and 72373. Affected line is 768 this time. Already fixed in my implementation. - Taylan From debbugs-submit-bounces@debbugs.gnu.org Mon Oct 21 16:29:21 2024 Received: (at control) by debbugs.gnu.org; 21 Oct 2024 20:29:21 +0000 Received: from localhost ([127.0.0.1]:53538 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t2z1k-0004Xi-Mx for submit@debbugs.gnu.org; Mon, 21 Oct 2024 16:29:20 -0400 Received: from wolfsden.cz ([37.205.8.62]:38856) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <~@wolfsden.cz>) id 1t2z1g-0004X5-8H for control@debbugs.gnu.org; Mon, 21 Oct 2024 16:29:16 -0400 Received: by wolfsden.cz (Postfix, from userid 104) id A6883330D3D; Mon, 21 Oct 2024 20:28:48 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail; t=1729542528; bh=wUBewu69azdKkKHyiCEis8PfaYrLoM1+mJdTHps/U7U=; h=Date:To:From:Subject; b=fiSCZyCj6AnyAx6FbDT22Srh0gW4eoK/28Ksg3GzdoFsZsEpmmzH+ARnpeaDsTQ0L req9FLrUAdj+QmlvcGEECQutCVY64SqKGLkiKXAwJPMuTmdjIq047eKKFyjYmU8ht4 vsXGrinSGIBe9UO12hDn/2dsCn2vxvJAkKFeBwUYCkx3KSD5TZxcSxL1ikD503VgW5 uRy5r+GG4B0TjfHVQZiVLBpd3r9HQmEPxsxpPY6A53QtjQaCOjtl0C7Y+FZqj/Fcx3 SuuQ9B1MEnv48f6nn8g3kNsH7A5Xxjt6zcvqdvgRZ6qLnW0EnAzSbwpUcG8kWfv5ww pHSTwaoUXqYR7AkI5J3RUS/FUlTYNBn70NvffA8cjUugrWx4YVQ3DJoGe3wv4iPD6G q7GxJa89NWuKYi3fEYGQZyv3wijGX3YjT4RBJniX16QDdk8ra8ZO6jcBEXJarK7Bo5 vtc9bVj/uUcEMV8YqMEqZdhwUtIFU1d2BKjtXMSo3djX2Pq4cLjiTu2KZQ6uJ/DRh4 pMaZimKlpzMJZ7yObOQBl/84TCFL5ey3n89MMQcUzVDpjWeGfGuk5Rvu7sE5CHTfnE R+ewQWvtic7gCT80+XfUaotif4DL6RjruDUKiO6rvfpm3rU4gs4KrzBtikNUIddTj4 5oIvJQqO1XYD2YiqwARlqTHQ= 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 45BD73310D1 for ; Mon, 21 Oct 2024 20:28:48 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail; t=1729542528; bh=wUBewu69azdKkKHyiCEis8PfaYrLoM1+mJdTHps/U7U=; h=Date:To:From:Subject; b=fiSCZyCj6AnyAx6FbDT22Srh0gW4eoK/28Ksg3GzdoFsZsEpmmzH+ARnpeaDsTQ0L req9FLrUAdj+QmlvcGEECQutCVY64SqKGLkiKXAwJPMuTmdjIq047eKKFyjYmU8ht4 vsXGrinSGIBe9UO12hDn/2dsCn2vxvJAkKFeBwUYCkx3KSD5TZxcSxL1ikD503VgW5 uRy5r+GG4B0TjfHVQZiVLBpd3r9HQmEPxsxpPY6A53QtjQaCOjtl0C7Y+FZqj/Fcx3 SuuQ9B1MEnv48f6nn8g3kNsH7A5Xxjt6zcvqdvgRZ6qLnW0EnAzSbwpUcG8kWfv5ww pHSTwaoUXqYR7AkI5J3RUS/FUlTYNBn70NvffA8cjUugrWx4YVQ3DJoGe3wv4iPD6G q7GxJa89NWuKYi3fEYGQZyv3wijGX3YjT4RBJniX16QDdk8ra8ZO6jcBEXJarK7Bo5 vtc9bVj/uUcEMV8YqMEqZdhwUtIFU1d2BKjtXMSo3djX2Pq4cLjiTu2KZQ6uJ/DRh4 pMaZimKlpzMJZ7yObOQBl/84TCFL5ey3n89MMQcUzVDpjWeGfGuk5Rvu7sE5CHTfnE R+ewQWvtic7gCT80+XfUaotif4DL6RjruDUKiO6rvfpm3rU4gs4KrzBtikNUIddTj4 5oIvJQqO1XYD2YiqwARlqTHQ= Date: Mon, 21 Oct 2024 22:28:47 +0200 Message-ID: To: control@debbugs.gnu.org From: Tomas Volf <~@wolfsden.cz> Subject: control message for bug #72375 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 72375 quit From unknown Sat Sep 13 23:43:08 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:21 +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