From unknown Sat Sep 13 13:16:23 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#72380 <72380@debbugs.gnu.org> To: bug#72380 <72380@debbugs.gnu.org> Subject: Status: srfi-64: test-end does not uninstall runner if on-final was modified Reply-To: bug#72380 <72380@debbugs.gnu.org> Date: Sat, 13 Sep 2025 20:16:23 +0000 retitle 72380 srfi-64: test-end does not uninstall runner if on-final was m= odified reassign 72380 guile submitter 72380 Tomas Volf <~@wolfsden.cz> severity 72380 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Tue Jul 30 15:52:49 2024 Received: (at submit) by debbugs.gnu.org; 30 Jul 2024 19:52:49 +0000 Received: from localhost ([127.0.0.1]:48514 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sYsts-0006aW-Nw for submit@debbugs.gnu.org; Tue, 30 Jul 2024 15:52:48 -0400 Received: from lists.gnu.org ([209.51.188.17]:45480) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <~@wolfsden.cz>) id 1sYstY-0006Ya-UW for submit@debbugs.gnu.org; Tue, 30 Jul 2024 15:52:30 -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-0004vf-59 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-0006sA-Ow for bug-guile@gnu.org; Tue, 30 Jul 2024 15:52:13 -0400 Received: by wolfsden.cz (Postfix, from userid 104) id B702929379D; 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=mh0jDuEIwgfWQEDvulMe828nEfirluXiqX2yMSCIDQo=; h=Date:From:To:Subject; b=dtD4XkyJJcQ5+N4ZCYmpX/vqH+CQNNAwpdaCaZZnZoxJbrbNkc9kowelWj6ecHbl7 GKNpdWOBAPZb0eMYrh/AbwE1EhLLO3eQhdx7w/G0QtNgQL9g/Eu2K1x7pwY6YNTxwD shxn99zxn07r5Ku2UTT0/rdrGS9pgF8DkdJ3p/Gd0Ih0JhoUeJ1Z6Oue/bO+nV6P8j OFF17nDju3eHhMhxY7d0wJXj8pVxMtt7czpqGrCGu0P6oA8CX+4zOW1REiO38WdKCG EjFkNi1Azu3JZj1hsW2mqRVDNYx4fDYbUav38dTi8Ax+PDnaTmQXfrJebyKHh/PxSS Ki7UMY3gxJTPXrNFqDNHbbfHVN2VuDPbWOqS39KAZ6memdF1OtMStMySGl32OEXuw/ 8vFf5ShNupVzXDGklswsR393+drIh+kXQxewU2KRUgqNQP/F8O7YzwWwILVjqQ7Udg IM1Zm4wATDXmrAdT1EkvQKC07N6uYFWBKncWUtEYuZptKO2Ya4lFJcqeSIt9otQHkS iYSpZTgjSuHmHkqxPfrrnB8NaHE05RQhdCXfFqUUEJ0xuYDB4h0P6HEjtM+50OS7zS XtBJCnmTnudlaUJEMBWIUh+qahnnQvhFiNjLI8695d4RpnjvroHnMXnumZUv8ueTHI /ggzCE0QT+XEdtVnqKn1JBec= 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 87C4A2928E4 for ; 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=mh0jDuEIwgfWQEDvulMe828nEfirluXiqX2yMSCIDQo=; h=Date:From:To:Subject; b=dtD4XkyJJcQ5+N4ZCYmpX/vqH+CQNNAwpdaCaZZnZoxJbrbNkc9kowelWj6ecHbl7 GKNpdWOBAPZb0eMYrh/AbwE1EhLLO3eQhdx7w/G0QtNgQL9g/Eu2K1x7pwY6YNTxwD shxn99zxn07r5Ku2UTT0/rdrGS9pgF8DkdJ3p/Gd0Ih0JhoUeJ1Z6Oue/bO+nV6P8j OFF17nDju3eHhMhxY7d0wJXj8pVxMtt7czpqGrCGu0P6oA8CX+4zOW1REiO38WdKCG EjFkNi1Azu3JZj1hsW2mqRVDNYx4fDYbUav38dTi8Ax+PDnaTmQXfrJebyKHh/PxSS Ki7UMY3gxJTPXrNFqDNHbbfHVN2VuDPbWOqS39KAZ6memdF1OtMStMySGl32OEXuw/ 8vFf5ShNupVzXDGklswsR393+drIh+kXQxewU2KRUgqNQP/F8O7YzwWwILVjqQ7Udg IM1Zm4wATDXmrAdT1EkvQKC07N6uYFWBKncWUtEYuZptKO2Ya4lFJcqeSIt9otQHkS iYSpZTgjSuHmHkqxPfrrnB8NaHE05RQhdCXfFqUUEJ0xuYDB4h0P6HEjtM+50OS7zS XtBJCnmTnudlaUJEMBWIUh+qahnnQvhFiNjLI8695d4RpnjvroHnMXnumZUv8ueTHI /ggzCE0QT+XEdtVnqKn1JBec= Date: Tue, 30 Jul 2024 21:51:58 +0200 From: Tomas Volf <~@wolfsden.cz> To: bug-guile@gnu.org Subject: srfi-64: test-end does not uninstall runner if on-final was modified Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit 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 for test-end says: > Additionally, if the matching test-begin installed a new test-runner, then the > test-end will uninstall it, after reporting the accumulated test results in an > implementation-defined manner. However in following example it fails to do so: (use-modules (srfi srfi-64)) (pk (eq? #f (test-runner-current))) (test-begin "x") (test-runner-on-final! (test-runner-current) (λ (_) #t)) (test-end) (pk (eq? #f (test-runner-current))) Resulting in: ;;; (#t) %%%% Starting test x (Writing full log to "x.log") ;;; (#f) I see no provision in the specification that would justify this. Have a nice day Tomas Volf From debbugs-submit-bounces@debbugs.gnu.org Tue Oct 01 18:35:57 2024 Received: (at 72380) by debbugs.gnu.org; 1 Oct 2024 22:35:57 +0000 Received: from localhost ([127.0.0.1]:54123 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1svlTI-0006XN-PM for submit@debbugs.gnu.org; Tue, 01 Oct 2024 18:35:57 -0400 Received: from mail-ej1-f51.google.com ([209.85.218.51]:39563) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1svlTH-0006XF-5x for 72380@debbugs.gnu.org; Tue, 01 Oct 2024 18:35:55 -0400 Received: by mail-ej1-f51.google.com with SMTP id a640c23a62f3a-a8a7dddd2bdso82618566b.2 for <72380@debbugs.gnu.org>; Tue, 01 Oct 2024 15:35:55 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1727822095; x=1728426895; 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=tYuce1hMqy/1/dx3l8EvCdlRmW/HtjJJBFZjtA1XsRg=; b=Zec9iwROmi9cR0UUr5ySJ3n5wwj7RrwhOI/sm6ChjfVPdbXWp6tS/mJMo1dy33S1v5 V3cqR/ALE1zfabIVRbd6PkTz1oUWnIKcbwLNXWamhwe3a0VR+77GCrhkyuJ3iDdK62K3 wNL7t6DMv9V68T0eVLDkQG4zxNz58rKYS/rGPadrdXTmOIBTdNmt/CCAUsTy+g0V+Ykc FwoXl4BCNwWDAWAeeCGZrTG2dvr1b2ByJU68WMXIr/XfNpA8j/nLK3Y0RC8Ng6sZVgjn sxUNgznMVnN5xQHBwgbkNSb/0CaeuQtETmXdO01rBkuPmmmAFJfQbQ8lem4ZNosTOr6f J8NQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1727822095; x=1728426895; 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=tYuce1hMqy/1/dx3l8EvCdlRmW/HtjJJBFZjtA1XsRg=; b=iErha+rHjqvVlPiU2vw3aHhP4pngq5w7la/81Gf2uioAy+Hrst9h2RNDikzisCA2FH wZAab9dgY7cs/VzSbYBhuyIXDVzsI9/HgCvpIFtjnivAExO1qGLS+T8xYVyQTipkoH6R KB263OxeqFX5Eybu2jvJjHLBf/peHP2BtdzOmFXfbT3jweo5tEA3D3ARZ0Nf0CikI3Mo 11+VQBGGWFX5rZYZJyxRW8SsMEPiRkVc3SGc3rbRuU/mMxOR2MR4qM9SO4S1ud+v3StL m7FnrXE8mwcvVIZIPPM6pKnkPCmGK+8vxcuihF7SRhUU0PHaIApHFZ5X6/nVP2IJWXyP ssjQ== X-Forwarded-Encrypted: i=1; AJvYcCXXVwWLeG9/i0xgy8GxzWFPv7F8EbpgM1q+Vai0Q3P3HQ5SGl1aOkFrY+wT6sMKlHLy8HQ5cg==@debbugs.gnu.org X-Gm-Message-State: AOJu0Ywd4IzcIFwuR8pSMFYOZYtUwfVwGveBXtcgyGOH4SjZnws9wwP0 IYC99BKuQb54Ky8FU1CwHB/2SWWt2THcoj1UktK4ZFvT8PR4fD36VmDP6VKmhTk= X-Google-Smtp-Source: AGHT+IG9tELMlk2ETRGseWUrZd3wjS3Bk4cZ5KAgf2kkGjAwDv+BddxAupK7KP2HWUWZc/p0fJabjA== X-Received: by 2002:a05:6402:210a:b0:5c5:ba84:8211 with SMTP id 4fb4d7f45d1cf-5c8b18d0a4emr363555a12.1.1727822094638; Tue, 01 Oct 2024 15:34:54 -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-5c88240c598sm6777764a12.39.2024.10.01.15.34.54 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 01 Oct 2024 15:34:54 -0700 (PDT) Message-ID: <693d8478-8228-41a7-bcc0-aee4599a0de1@gmail.com> Date: Wed, 2 Oct 2024 00:34:53 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: bug#72380: srfi-64: test-end does not uninstall runner if on-final was modified To: Tomas Volf <~@wolfsden.cz>, 72380@debbugs.gnu.org References: Content-Language: en-US From: Taylan Kammer In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 72380 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 for test-end says: > >> Additionally, if the matching test-begin installed a new test-runner, then the >> test-end will uninstall it, after reporting the accumulated test results in an >> implementation-defined manner. > However in following example it fails to do so: > > (use-modules (srfi srfi-64)) > > (pk (eq? #f (test-runner-current))) > (test-begin "x") > (test-runner-on-final! (test-runner-current) (λ (_) #t)) > (test-end) > (pk (eq? #f (test-runner-current))) > > Resulting in: > > ;;; (#t) > %%%% Starting test x (Writing full log to "x.log") > > ;;; (#f) > > I see no provision in the specification that would justify this. > > Have a nice day > Tomas Volf > > Don't know how to most easily fix this upstream due to the convoluted code, but works fine with my implementation of SRFI-64. - Taylan From debbugs-submit-bounces@debbugs.gnu.org Mon Oct 21 16:29:10 2024 Received: (at control) by debbugs.gnu.org; 21 Oct 2024 20:29:10 +0000 Received: from localhost ([127.0.0.1]:53504 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t2z1a-0004WE-3U for submit@debbugs.gnu.org; Mon, 21 Oct 2024 16:29:10 -0400 Received: from wolfsden.cz ([37.205.8.62]:40710) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <~@wolfsden.cz>) id 1t2z1Y-0004W6-L8 for control@debbugs.gnu.org; Mon, 21 Oct 2024 16:29:09 -0400 Received: by wolfsden.cz (Postfix, from userid 104) id 20662331993; Mon, 21 Oct 2024 20:28:41 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail; t=1729542521; bh=A7T191ZNYnJ+HxQ0Hh83ZHglab+YorAbx2ka6ZvdWWY=; h=Date:To:From:Subject; b=BjxjLvptLxjchhYUbWpAU5a7BNXvu91pZCLKBXAwQ5xDlYRuUE301jpmeaRHLBvZi Uom1ddP+2/Al37RLNnFapi7s4N5deX1i5ASOxaOacemIUEiejL0k2RU01Tv7dQwPxC 1SoUftkOjN1u2zR5+KtRwDrDsfePdrQR6jn4eOAmVxxJsDIrnqakkc5CdNsDX0ONko ZQPAE6YVAhqRlD4DcQYynkcTeomwlFJbNi7EjwrgtrBV+rOhSwC8W2PrYda0XUpenb fH9KUBhHSZT/8zj6lEJijP8fk2oWPebPVp6cR/dRBaCqAobM1EJJIAG+g0X4QUW4Sk OB7r+/j/zlxtjrsWiWFEHdummLRUF8qzIcnxFVf7laV4xD0KIqyu3mmK2zgzOf/q1P oYBMO+LoBOZRWShQQZvzkKcL5XoSzoS6tl8tIwFYoBNqvFJnMQG3BMz0+ZbaTNGIue UVbKJ/G12i9WIqarlu6YFql2eeNxTwHyQBlJYJOeHOvfbzGKC2pMieGbr4jnYEW3Uo IHEDeT4Dl1/I+v7JC2tMEX7r3ZeA8t1Que83YmNFtzIWiDmtcK9/3+x1XSNviX22Gh 7u/qgvnIPz8sNDZdzvSSAYyjjNwVGETQt5LSnxgctGr+b6qj3wyAryWJHOR/OO9csr L1javTzW7E67tUSpHZxIiRFU= 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 B4B213310CE for ; Mon, 21 Oct 2024 20:28:40 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail; t=1729542520; bh=A7T191ZNYnJ+HxQ0Hh83ZHglab+YorAbx2ka6ZvdWWY=; h=Date:To:From:Subject; b=kad8LrFXnIzR5sLTD/JWxDZYZAG6+PmfZ48A/gbaWelgzI0Q11WfwkCpOVJS0FwP0 JHoPiFwo7P5esuQ2XdwnnZDJOXZwy2ODhF5Kw1ouNbOVcjdEODI2i5Pirgmmj5b5wB GlZ3Pj7CsBtdbEk22euhGvG5Oid5Oep7ES5Dr0nUuY8sY1o/U7ip/sxOIOgpM6bJZl 4JlfdKst6hSfYxZEdTw5Rsug3GeigYJB3Rbfts1rE3YgtHdFArIpAAx5aV239Gv2hF NiOnpswGtH1LEOBGfad3kL9uoOmTI8Cku7E1IN680/C4C6cWaQ44ieSeDw8JZ3bxKi Qs+sjhkr5Dla3PUKMHdIH+yKKRc1AfZkfUJQVT6bDvM5KYN3j1N674KUIaT70FUJlp Cl8ipnSkzhL+/HIksyasd1KE9M6iv8n+kqp1THjtpYsrAJKpIApb/0UzLu3Bx+OJ0Q wpnwZ6c6iQFCLCqNrRseTSRY+rHmb/aOw2HrFtnNfo1ytzkCZ/yzSMLFS/lplZscC6 CvKJiBN92u0QRGc7BuaLIoKXB6kw8b5AFB8EDfzRk2FjPYLZDsdTnggplKGapQUNW+ rQwd846Bh1lPaRpeSx00vi92Z5lwcmumMGSFp+e5vpcaShkSZ1cTkXBHUWGVyh/uHz qJyu9iMF8DOGtLTvrIo0hFH8= Date: Mon, 21 Oct 2024 22:28:39 +0200 Message-ID: <36e5b80290a8711323fd1c96eb29b162@wolfsden.cz> To: control@debbugs.gnu.org From: Tomas Volf <~@wolfsden.cz> Subject: control message for bug #72380 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 72380 quit From unknown Sat Sep 13 13:16:23 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:24 +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