From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Taylan Kammer Newsgroups: gmane.lisp.guile.bugs Subject: bug#72380: srfi-64: test-end does not uninstall runner if on-final was modified Date: Wed, 2 Oct 2024 00:34:53 +0200 Message-ID: <693d8478-8228-41a7-bcc0-aee4599a0de1@gmail.com> References: 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="35914"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla Thunderbird To: Tomas Volf <~@wolfsden.cz>, 72380@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Wed Oct 02 00:36:17 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 1svlTb-0009Af-Rn for guile-bugs@m.gmane-mx.org; Wed, 02 Oct 2024 00:36:16 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1svlTQ-0004Jd-ML; Tue, 01 Oct 2024 18:36:04 -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 1svlTO-0004J4-IM for bug-guile@gnu.org; Tue, 01 Oct 2024 18:36:02 -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 1svlTO-00055R-A4 for bug-guile@gnu.org; Tue, 01 Oct 2024 18:36:02 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=In-Reply-To:From:References:MIME-Version:Date:To:Subject; bh=tYuce1hMqy/1/dx3l8EvCdlRmW/HtjJJBFZjtA1XsRg=; b=T+eW97Ra/o8PFBIETPaDkWpO8xxwTzIKrdkPNB8KR3BL55JYQmpjX0DXidI6MrhmbaeDWDcjy1xk6ME6pADhcSrwF+DcwI/9lAYf9lMdtyCU/K3cffA3ctAzxw9UOlX3c9AztgOT479d+bozcNaSBVxsn4ajKtMZypkipCOXDE1NFqfGdhgGY7ruDKgdjyCaSOQHJM6SvOs6X76VuJcrxryjhNorMxhfYaTA61Ov0fSRtZ0qkMfiHtPxN5S2ixYCnERlKB1CK5HGAhqiXHOQLjATIj5xyWMtg5mfViRLylBlppsG8tTZxtxsxe84rNhYSVFSOLYK+Sn0snHJMsf+ng==; Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1svlTN-0006Xc-Oc for bug-guile@gnu.org; Tue, 01 Oct 2024 18:36:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Taylan Kammer Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Tue, 01 Oct 2024 22:36:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 72380 X-GNU-PR-Package: guile Original-Received: via spool by 72380-submit@debbugs.gnu.org id=B72380.172782215725137 (code B ref 72380); Tue, 01 Oct 2024 22:36:01 +0000 Original-Received: (at 72380) by debbugs.gnu.org; 1 Oct 2024 22:35:57 +0000 Original-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 Original-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 Original-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) Original-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) Content-Language: en-US In-Reply-To: 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:11011 Archived-At: 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