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#72380: srfi-64: test-end does not uninstall runner if on-final was modified Date: Tue, 30 Jul 2024 21:51:58 +0200 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="28190"; mail-complaints-to="usenet@ciao.gmane.io" To: 72380@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Tue Jul 30 21:54:32 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 1sYsvX-0007Cb-Qw for guile-bugs@m.gmane-mx.org; Tue, 30 Jul 2024 21:54:32 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sYsu7-00059T-1R; Tue, 30 Jul 2024 15:53:03 -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 1sYsu5-00058B-Of for bug-guile@gnu.org; Tue, 30 Jul 2024 15:53:01 -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 1sYsu5-0006ze-DB for bug-guile@gnu.org; Tue, 30 Jul 2024 15:53:01 -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=WZNTpGX/G4zMU5UKfVBQna+nHBlszc4yds89HJgzfBM=; b=vtQ0htATa4IsnGJdEUh3SXWwhTzjcWkgdiI+cEbFbeb1nrfpO2ga0AVlbQ34mWcBUUdRvdmzJm+HTyEDKTtZVYSEMnoJTCdFFI4pEwcHHZfUKwrDpfqy5/74jkxqgWhy0NtVo16DnXHeWQ4gPWXE4pOEhu57vPWG8lEFra6gSlZPP11eST0srbdjGLmsIsWC3Cq94m09kBycoD9+831H0B/47vYR8rZ3Lp98oWVCwU8ZFp0R6cxVdDmFjXNG4d+geAJfyta8wUhqgOYvXj5gwUcMYwt7eoNn/1jH3B2MsaCQfNWOIBKAD1bXvzWGD/SlBRWkyU/PrtmdW980aO1Rjw==; Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sYsuJ-0006fF-OR for bug-guile@gnu.org; Tue, 30 Jul 2024 15:53:15 -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:15 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 72380 X-GNU-PR-Package: guile X-Debbugs-Original-To: bug-guile@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.172236916925338 (code B ref -1); Tue, 30 Jul 2024 19:53:15 +0000 Original-Received: (at submit) by debbugs.gnu.org; 30 Jul 2024 19:52:49 +0000 Original-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 Original-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 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-0004vf-59 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-0006sA-Ow for bug-guile@gnu.org; Tue, 30 Jul 2024 15:52:13 -0400 Original-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= Original-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= 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:10933 Archived-At: 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