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#72377: srfi-64: test-eq evaluates test-name multiple times Date: Tue, 30 Jul 2024 21:51:57 +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="26960"; mail-complaints-to="usenet@ciao.gmane.io" To: 72377@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Tue Jul 30 21:54:15 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 1sYsvG-0006sI-A6 for guile-bugs@m.gmane-mx.org; Tue, 30 Jul 2024 21:54:14 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sYsu4-00053y-E8; Tue, 30 Jul 2024 15:53:00 -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 1sYsu2-00052m-U2 for bug-guile@gnu.org; Tue, 30 Jul 2024 15:52:58 -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 1sYsu2-0006ym-KR for bug-guile@gnu.org; Tue, 30 Jul 2024 15:52:58 -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=KFe7Lxy9s2J9BsnBaxriHrhWAmSkELOTxKXae12PT3Q=; b=DYLpjwp1NyP7zHcqs/OVannjcRvctKH8ZRXr0/9H8eWL/aAuZlGO0jjSnXLO686Yufr/JUur9GL3+/6R0Vb8TfSxWS8ICTjadCAoYdgavTYKav2PhxkZtM6lww2Fmf2Gw1arTDctMb3bBiOuVfGWP+f3FTgHwhZJUSqSvBeMFXlLJuSbrkJpnWjkopGLRkMY14ZfeMxJhe0if1zulFT3YQ07O4FWnx44kQ4/a8xGBhdPEjJY71Yk6RN8YxPYj7jeO2V0nndIhUJGFO7BKdW5Zk2du/oQovh6XZbX5ACs2PxlG0ub4JyFqSNermhr9HAWCUmJphWYQetoFZ4w1P2REw==; Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sYsuG-0006eS-Vo for bug-guile@gnu.org; Tue, 30 Jul 2024 15:53:13 -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:12 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 72377 X-GNU-PR-Package: guile X-Debbugs-Original-To: bug-guile@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.172236916825316 (code B ref -1); Tue, 30 Jul 2024 19:53:12 +0000 Original-Received: (at submit) by debbugs.gnu.org; 30 Jul 2024 19:52:48 +0000 Original-Received: from localhost ([127.0.0.1]:48508 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sYstr-0006aA-NA for submit@debbugs.gnu.org; Tue, 30 Jul 2024 15:52:47 -0400 Original-Received: from lists.gnu.org ([209.51.188.17]:45470) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <~@wolfsden.cz>) id 1sYstY-0006YY-Qp for submit@debbugs.gnu.org; Tue, 30 Jul 2024 15:52:29 -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 1sYstK-0004vZ-1h for bug-guile@gnu.org; Tue, 30 Jul 2024 15:52:14 -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-0006s4-KL for bug-guile@gnu.org; Tue, 30 Jul 2024 15:52:13 -0400 Original-Received: by wolfsden.cz (Postfix, from userid 104) id 18065293018; Tue, 30 Jul 2024 19:51:58 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail; t=1722369118; bh=dHBOM7QHzUPVTHGj1cy5hYhhZ26nrOrtZyArpBMUFsc=; h=Date:From:To:Subject; b=EyQS6mFayYMk63UQporADjqcso+Qgrg1jnf3fb6eInzaxa5tTE6qH4e0lED5MNZPV MHhjN+FemLZ4Zs5RxVlcRhjLilnubzPWaDBRiWJm7ZmcpkF+PxGeVK2eb4m7OAUnNW DgONDK/JYGjHxa0x9dBOGHVBKKNUiVMoEkESa6HdDJkkfMahcbGrSr0NoHqLnAbnv2 Blla6mf8heHWDRiLGQSSzMs5lMCkENu2eh85lgxBvRoflBXj8zTmX7lAnbA8NYLFGv 6uEq0s5rZ1yQidIFqWK4AUGHhT/EEPqCf/U3UygUpCoPn/ZRNnNvj6ckB4lLu9e2pJ DmlP3QFt7VtZpWnnh2/0p8Lwh6qybHoMgM8wV8iuRyxyvplJRHy1nGpIlnn7vdXIqd QV59jfQky8JToD+vgSV7iOTU1xtkxugKc5URSDUudv+d59rRcLiiEGS+HSW4hICdhC 72EDyt2dDm01pN8Jix6gjEC2xtR6CuZeZLVoKIrXuz1OAOb8hQucYjTriSYcL0sS8y hBnhYrhnagJF5ZaEC3eO4RtZlprsAHSHiyk6BF29ObT/QgRlvD/aXUY2iXTaHF2i0u 4cYq/RQAmSCN+cITUFyjomgA1P9yebzPXhbCf1HbdICk2xXeDqLi3A8NMj8xd1EMb6 r02aLeDf24+eTIo1seonP3Sw= Original-Received: from localhost (unknown [128.0.188.242]) by wolfsden.cz (Postfix) with ESMTPSA id C258E293A07 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=dHBOM7QHzUPVTHGj1cy5hYhhZ26nrOrtZyArpBMUFsc=; h=Date:From:To:Subject; b=asETuBP0gzU8haoQwHj70qU+JiixpanG4ycJij/uMryGpDL+jYNDA68rye4o2mBe+ 6u+VxI8mNBRT+46q7j4VNTERpp7JaM9qUoMV984ZvU4HJj5X1cKRnSPWLrK9v5jfVI LqOpBbBCvhfg+f33EcldGJMfAHp4N2Y75c7oR6B1sQiC2KAOOhE3/t0xL1EcRThB7A K6h4B59ThHaPsaKuC3d+O5qVsH3SWbBJhhtshcXKHoRFOe1Hw7fWJpQNGz6V6IjI1G leI/XwKhQcDWC4Q2IRcudP4hgRjVpO6oT6o2enPOIsbofrwwxjAYUkQe3P2T/JzWy2 WNFeBgOZrr4FdhKu/xfCV7fqM4lyCkB0cMpmQCbVWnci7XUnGTbOzzS/q16nRDaRFQ KHWiSLExfOJXc078Cpw0h8oJcUW4NZGbvYBZRKHX7z9taY9JEJKsipz6NLXtT2iqXT UASYZqMa/D/cxyhNRtzKyGdRPNOly9TIaY3DmJeyX3Mniti9aDkp5PXb/rxWBEFNCr 2odEoTsP8CwPkIjB+oiGepyA/U+8xEGvhfGmGJEYtKdHPdpsuypXqpWkcZYNEhKoTi d/jMlB/9dSZt7e+JRrNMTA/RJ9cXOI2P1XSJBk23lrapdF0lySRFjgfDi4oiEU+P03 ccTOfYPIqHoN/CJHTevURgPA= 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:10925 Archived-At: Hello, I think I found a bug in (srfi srfi-64) module shipped with GNU Guile. The specification says that test-eq is equivalent to: > (test-assert [test-name] (eq? 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-eq (pk "t") #t #t) Leading to: ;;; ("t") ;;; ("t") Have a nice day Tomas Volf