From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Tomas Volf <~@wolfsden.cz> Newsgroups: gmane.lisp.guile.bugs Subject: bug#72375: srfi-64: test-eqv evaluates test-name multiple times Date: Tue, 30 Jul 2024 21:51:56 +0200 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="26259"; mail-complaints-to="usenet@ciao.gmane.io" To: 72375@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Tue Jul 30 21:54:01 2024 Return-path: Envelope-to: guile-bugs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1sYsv0-0006Y8-UD for guile-bugs@m.gmane-mx.org; Tue, 30 Jul 2024 21:53:59 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sYsu2-00052g-Iz; Tue, 30 Jul 2024 15:52:58 -0400 Original-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 ) id 1sYsu1-00051t-6T for bug-guile@gnu.org; Tue, 30 Jul 2024 15:52:57 -0400 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sYsu0-0006yR-TV for bug-guile@gnu.org; Tue, 30 Jul 2024 15:52:56 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:From:Date:To:Subject; bh=RWwJulQpi2bSqbmB+SOiJahE7qMFVAqGnPWzc5tYBZ4=; b=XZp70SfhfoQ113MgVSPvXsRP4lzNv77NbtnVdZWIhIRsytdVHocXjyrS04mntGkmgKJI6RUiI7CMYG/Czix0UsvtqRaLfH0XV/1i+ZjzpEom1XtATi2TNPCJnLhJwRmfuDID2O18Yr25Z93xfa6SSMY5h+3EW070WEVygFRGWKeEjd5Z7Q3MO0UpkqBvOLrSTq//ukctTq3Je/HZ2nLj2+a6CQl2j6VfUHnTLTdWHyqzY/yXRO2I7wVLN1mv8rFDxd8nubJocCRIZIEPjqjbNe4DeuJqQZsUE8R7BVY7y7ekLLvIi2Xu51/dwGSVL7hrPa80D/T7fvkjL51XwJmaBQ==; Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sYsuF-0006dz-Bz for bug-guile@gnu.org; Tue, 30 Jul 2024 15:53:11 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Tomas Volf <~@wolfsden.cz> Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Tue, 30 Jul 2024 19:53:11 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 72375 X-GNU-PR-Package: guile X-Debbugs-Original-To: bug-guile@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.172236916725300 (code B ref -1); Tue, 30 Jul 2024 19:53:11 +0000 Original-Received: (at submit) by debbugs.gnu.org; 30 Jul 2024 19:52:47 +0000 Original-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 Original-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 Original-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 Original-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 Original-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= Original-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= 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list 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-mx.org@gnu.org Original-Sender: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.lisp.guile.bugs:10920 Archived-At: 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