From unknown Sun Jun 15 01:06:02 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#48566 <48566@debbugs.gnu.org> To: bug#48566 <48566@debbugs.gnu.org> Subject: Status: call-with-blocked-asyncs does not like escape continuations Reply-To: bug#48566 <48566@debbugs.gnu.org> Date: Sun, 15 Jun 2025 08:06:02 +0000 retitle 48566 call-with-blocked-asyncs does not like escape continuations reassign 48566 guile submitter 48566 Maxime Devos severity 48566 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Fri May 21 10:28:45 2021 Received: (at submit) by debbugs.gnu.org; 21 May 2021 14:28:45 +0000 Received: from localhost ([127.0.0.1]:37352 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lk68r-0005cH-Fp for submit@debbugs.gnu.org; Fri, 21 May 2021 10:28:45 -0400 Received: from lists.gnu.org ([209.51.188.17]:34780) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lk68p-0005c9-HW for submit@debbugs.gnu.org; Fri, 21 May 2021 10:28:45 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:44150) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lk68p-0007iw-BH for bug-guile@gnu.org; Fri, 21 May 2021 10:28:43 -0400 Received: from andre.telenet-ops.be ([2a02:1800:120:4::f00:15]:60404) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lk68m-0004fG-TU for bug-guile@gnu.org; Fri, 21 May 2021 10:28:43 -0400 Received: from ptr-bvsjgyjmffd7q9timvx.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:aaf1:9810:a0b8:a55d]) by andre.telenet-ops.be with bizsmtp id 7SUd2500B0mfAB401SUdgC; Fri, 21 May 2021 16:28:37 +0200 Message-ID: <5e0d33b7b70e3a03aa892e65a8ad4d894d633a85.camel@telenet.be> Subject: call-with-blocked-asyncs does not like escape continuations From: Maxime Devos To: bug-guile@gnu.org Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-YsIE7GVZBq+9te6V3YwZ" Date: Fri, 21 May 2021 16:28:27 +0200 MIME-Version: 1.0 User-Agent: Evolution 3.34.2 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21; t=1621607317; bh=MD9qIgxZaJ/73F3WB0POFQkBr9m0V/GT5cHQFswXgxg=; h=Subject:From:To:Date; b=l8C6ylEphLo9E1ZJxulmt5jvqjqiFoX4HbG8wIBaJjxqiri2sTE+CPvilujcSw4fn pEePqYSYeaptvxDqDF+LwtTGdH9MusP1U9sEPaIk2iVDD795Siy9CnmS3ppybOiCJR JdihPaLQIsmjqOVt7QMfcD4EHR+UY+aBl9A4rf67ohpgSWNuwTuPashnm2HFiJQAJU C49O7hiJgwLGgZqXWprtMBZRLM7AcYFAgqU6lfHj1LdM1uyMUCDpFSotEUxQwDTf76 0IpVG0405iFlpa0xqhAuDkLEa/LAtirR6V21RrdBltkAsrOBjO3SV1gDIjmua6Ggks AKXgT4XUSsZow== Received-SPF: pass client-ip=2a02:1800:120:4::f00:15; envelope-from=maximedevos@telenet.be; helo=andre.telenet-ops.be X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 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, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.2 (/) 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 (--) --=-YsIE7GVZBq+9te6V3YwZ Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Version: 3.0.5 (as found on Guix System, on a x86-64 system) Here is a minimal reproducer. (use-modules (ice-9 control)) (define (test) (define (safe-point) (call-with-unblocked-asyncs (lambda () 'hi))) (let/ec ec (call-with-blocked-asyncs (lambda () (system-async-mark ec) (safe-point)))) (call-with-blocked-asyncs safe-point)) (test) Output: ice-9/boot-9.scm:1669:16: In procedure raise-exception: In procedure call-with-unblocked-asyncs: asyncs already unblocked Entering a new prompt. Type `,bt' for a backtrace or `,q' to continue. scheme@(guile-user) [1]> ,bt 2 (call-with-blocked-asyncs #) 1 (call-with-unblocked-asyncs #) In ice-9/boot-9.scm: 1669:16 0 (raise-exception _ #:continuable? _) This bug was found while trying to test whether the definition of with-mute= x is correct in the present of asynchronicities (system-async-mark). (with-mu= tex does not use call-with-blocked-asyncs & call-with-unblocked-asyncs, while I think it should --- what if the Scheme code was interrupted in the 'in-guar= d' or 'out-guard' of a dynamic-wind?). Greetings, Maxime. --=-YsIE7GVZBq+9te6V3YwZ Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYKfDhRccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7oS5AP0ZAQKCS6WFu1GUnua1BcCelCTh V5qRa3NbYX6/fE+AMQD/aOiJfljKBdtOxmoTB2Sbr9ikTzqQmLOHkuPX1S/MYg4= =d8LU -----END PGP SIGNATURE----- --=-YsIE7GVZBq+9te6V3YwZ--