From unknown Sat Sep 13 19:18:14 2025 X-Loop: help-debbugs@gnu.org Subject: bug#72377: srfi-64: test-eq evaluates test-name multiple times 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-GNU-PR-Keywords: To: 72377@debbugs.gnu.org X-Debbugs-Original-To: bug-guile@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.172236916825316 (code B ref -1); Tue, 30 Jul 2024 19:53:12 +0000 Received: (at submit) by debbugs.gnu.org; 30 Jul 2024 19:52:48 +0000 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 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 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 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 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= 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 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= Date: Tue, 30 Jul 2024 21:51:57 +0200 From: Tomas Volf <~@wolfsden.cz> 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-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-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 From unknown Sat Sep 13 19:18:14 2025 X-Loop: help-debbugs@gnu.org Subject: bug#72377: srfi-64: test-eq evaluates test-name multiple times Resent-From: Taylan Kammer Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Tue, 01 Oct 2024 22:24:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 72377 X-GNU-PR-Package: guile X-GNU-PR-Keywords: To: Tomas Volf <~@wolfsden.cz>, 72377@debbugs.gnu.org Received: via spool by 72377-submit@debbugs.gnu.org id=B72377.172782140322722 (code B ref 72377); Tue, 01 Oct 2024 22:24:02 +0000 Received: (at 72377) by debbugs.gnu.org; 1 Oct 2024 22:23:23 +0000 Received: from localhost ([127.0.0.1]:54054 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1svlH8-0005uQ-Vf for submit@debbugs.gnu.org; Tue, 01 Oct 2024 18:23:23 -0400 Received: from mail-ej1-f49.google.com ([209.85.218.49]:41969) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1svlH7-0005uK-Ds for 72377@debbugs.gnu.org; Tue, 01 Oct 2024 18:23:21 -0400 Received: by mail-ej1-f49.google.com with SMTP id a640c23a62f3a-a8a7dddd2c3so68980066b.3 for <72377@debbugs.gnu.org>; Tue, 01 Oct 2024 15:23:21 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1727821341; x=1728426141; 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=/fJJol7Nt4TRo0ghtGK9L3NCCFYOOUeZfuxpN6Xl1T0=; b=TPMJ/mRAgcBfVnV0UmJd4Mub950dejz6TEzk+BZkae1PCdTrod/2A5Qojrt/icDGsH DuaRLUyUWfdT78LfrM7npMAFZg1RqjwsgLTb9FbwophK2Ys/f1V0wnoMQr1wkH/FcRwY TZncxQ1WkQ8DlVyZLS3RXgBEufjBSLlIavSz7KLFGtnQ5O0Ae/Zx+3T1OqHNTpDkrc/e DbzjktlvjVnuHYUIDSBcmzdtFgYGl6Eq7eQps4fkVqH3SLy0GoVO+ayX5VkKOPBjtuY1 hoi8K0kynOxPZtfbtUwbTS8OsIeEZ+k0Fi+RfeHGRMsEELtoGqHEZm3yx3EO1mHjzzG0 XVfw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1727821341; x=1728426141; 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=/fJJol7Nt4TRo0ghtGK9L3NCCFYOOUeZfuxpN6Xl1T0=; b=WqRvcn8S06a1JaVFjygm1eYdanGXU6+YSOcjqGScJXpHRS3vcMr5XZqMBS05/RkULl lIxbkD+wG4SyE6HRmAFp/pFfZr1SpJZy1IRpfdkFH3su+5Ul10g1tw3ptzsSXTSwVRAB +YClEvW99O9H96/evojtRztjVEvcW9RwKfUfqGZw0iHRwstS0nUWrrtuKucIX3osMyle oFGx234ozKXidOzFrB6SSwzkrvlBKBeTLAwcMHX3noDuZtu85CkVB+/jxbbitqNlIK1i AP5nZ3hjcJsraTylakjNXeOTYl/P9PaT8XKAKI7E8LRBgE/PzXhqGNQ6Z2LExSkxKkd1 AFog== X-Forwarded-Encrypted: i=1; AJvYcCW+ecAktd+37Z4K/v2y/Fug1UYn9aM69jjBfCxVI29cOkdZUqw0jgdWz806q73pa63vgKQagg==@debbugs.gnu.org X-Gm-Message-State: AOJu0Yzx6OggIwtFj0NP1JFzydRzWPfcDYlCb71BYr5nC24tI7Wiiv1r w9VGWDAuG3/4Emz7HwoEhtWdE7Bwx5T/4ma8cYAyJR5F2yuTxSEKj/0cEmtS X-Google-Smtp-Source: AGHT+IHFlhdNikpbK7hMJyDlW7zupwwmMyh+UcN4RtCUuH60lZmR6PKFd8MRaWM+/fpDCvCHi/G7PQ== X-Received: by 2002:a05:6402:3549:b0:5c8:8381:c0f9 with SMTP id 4fb4d7f45d1cf-5c8b18d6041mr289688a12.2.1727821340808; Tue, 01 Oct 2024 15:22:20 -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-5c882493acasm7004503a12.83.2024.10.01.15.22.20 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 01 Oct 2024 15:22:20 -0700 (PDT) Content-Type: multipart/alternative; boundary="------------kHOTmmGH0oiMuk1V7ZP0vjnT" Message-ID: Date: Wed, 2 Oct 2024 00:22:19 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird References: Content-Language: en-US From: Taylan Kammer In-Reply-To: X-Spam-Score: 0.0 (/) 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. --------------kHOTmmGH0oiMuk1V7ZP0vjnT 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-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 > > Same exact deal as in bug reports 72372, 72373, 72375, and 72376. 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 --------------kHOTmmGH0oiMuk1V7ZP0vjnT 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-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

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

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

--------------kHOTmmGH0oiMuk1V7ZP0vjnT-- 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]:53534 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t2z1j-0004XS-U8 for submit@debbugs.gnu.org; Mon, 21 Oct 2024 16:29:20 -0400 Received: from wolfsden.cz ([37.205.8.62]:40738) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <~@wolfsden.cz>) id 1t2z1d-0004Wb-RW for control@debbugs.gnu.org; Mon, 21 Oct 2024 16:29:14 -0400 Received: by wolfsden.cz (Postfix, from userid 104) id 43897330F5C; Mon, 21 Oct 2024 20:28:46 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail; t=1729542526; bh=NuUkpYotbsH1roQaBoxMwfDDn6RaJmOov4EMCeFLPl4=; h=Date:To:From:Subject; b=oV9q13Jo1/DQnOoDNrk6CHrs0JPPqQJrmwKh1mTdygbOyYWLWBkRr45aW+tAi2VSU u0qu8sZWO8TyYfuNE0mYejyF87f84Ck/VEj9qTJkS6PU4pwy8/x4QdmQG+M20KClDL ODa9SilKNz51HvBAVYR6HCt34Li+6bO33d2M1odZxy/cCFQ0MGQB5PqXgjI2tZgoSc NRY2b8xGWvxzz2ZpXpHoy8+yanqSj6iAuNAQVwKgnYIzPPllbqCIvK9a0+Vf6eAWR7 CSgosJYy8YiQr3xHuLlhFqM07wCeVKwnj6gmuyZjnk6Y8Q7DVHop+YAFWLGYbZaayv JIj9+H/Pv15yPVx8AsSWt/C/FsucSYc7D7yE8LttcqpPJA5XOjPsl6aH67j5tPLYuZ yKn1GCpXXfQzu8ndlSQgWXLCWeJk4mgHqDQ/9orRcNdnU/baQy4LIChTzI8RJdfu0v 2RKhBm7W2A3N8pQiiAclP25sh1mj12nJXuxEkctyHGUCOaT+glvWSOY5CjG0WjA8Jp N74ilO283aErqNL/Z1CRwIqDDBKnSSQ2juA4twhp5tOkhQjN5Th1OdmYWfufbPtkFY FUfg9rbVMGMsKWyrozhqRKkDoIOgraVunFxbJT9fdtTBZVYdHbCWN4YVuUAF27e9Ie B076LAVrcxqmbpYeQ7/Z3ET0= 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 DA2BF330DDF for ; Mon, 21 Oct 2024 20:28:45 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail; t=1729542526; bh=NuUkpYotbsH1roQaBoxMwfDDn6RaJmOov4EMCeFLPl4=; h=Date:To:From:Subject; b=oV9q13Jo1/DQnOoDNrk6CHrs0JPPqQJrmwKh1mTdygbOyYWLWBkRr45aW+tAi2VSU u0qu8sZWO8TyYfuNE0mYejyF87f84Ck/VEj9qTJkS6PU4pwy8/x4QdmQG+M20KClDL ODa9SilKNz51HvBAVYR6HCt34Li+6bO33d2M1odZxy/cCFQ0MGQB5PqXgjI2tZgoSc NRY2b8xGWvxzz2ZpXpHoy8+yanqSj6iAuNAQVwKgnYIzPPllbqCIvK9a0+Vf6eAWR7 CSgosJYy8YiQr3xHuLlhFqM07wCeVKwnj6gmuyZjnk6Y8Q7DVHop+YAFWLGYbZaayv JIj9+H/Pv15yPVx8AsSWt/C/FsucSYc7D7yE8LttcqpPJA5XOjPsl6aH67j5tPLYuZ yKn1GCpXXfQzu8ndlSQgWXLCWeJk4mgHqDQ/9orRcNdnU/baQy4LIChTzI8RJdfu0v 2RKhBm7W2A3N8pQiiAclP25sh1mj12nJXuxEkctyHGUCOaT+glvWSOY5CjG0WjA8Jp N74ilO283aErqNL/Z1CRwIqDDBKnSSQ2juA4twhp5tOkhQjN5Th1OdmYWfufbPtkFY FUfg9rbVMGMsKWyrozhqRKkDoIOgraVunFxbJT9fdtTBZVYdHbCWN4YVuUAF27e9Ie B076LAVrcxqmbpYeQ7/Z3ET0= Date: Mon, 21 Oct 2024 22:28:44 +0200 Message-ID: To: control@debbugs.gnu.org From: Tomas Volf <~@wolfsden.cz> Subject: control message for bug #72377 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 72377 quit