From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Maxime Devos Newsgroups: gmane.lisp.guile.bugs Subject: bug#48566: call-with-blocked-asyncs does not like escape continuations Date: Fri, 21 May 2021 16:28:27 +0200 Message-ID: <5e0d33b7b70e3a03aa892e65a8ad4d894d633a85.camel@telenet.be> Mime-Version: 1.0 Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-YsIE7GVZBq+9te6V3YwZ" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="30088"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Evolution 3.34.2 To: 48566@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Fri May 21 16:29:08 2021 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 1lk69D-0007VF-V6 for guile-bugs@m.gmane-mx.org; Fri, 21 May 2021 16:29:07 +0200 Original-Received: from localhost ([::1]:47278 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lk69C-0007jF-6k for guile-bugs@m.gmane-mx.org; Fri, 21 May 2021 10:29:06 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:44180) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lk698-0007j7-8k for bug-guile@gnu.org; Fri, 21 May 2021 10:29:02 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:54039) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lk698-0004lI-1V for bug-guile@gnu.org; Fri, 21 May 2021 10:29:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lk697-0005cp-Sy for bug-guile@gnu.org; Fri, 21 May 2021 10:29:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Maxime Devos Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Fri, 21 May 2021 14:29:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 48566 X-GNU-PR-Package: guile X-Debbugs-Original-To: bug-guile@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.162160732521597 (code B ref -1); Fri, 21 May 2021 14:29:01 +0000 Original-Received: (at submit) by debbugs.gnu.org; 21 May 2021 14:28:45 +0000 Original-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 Original-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 Original-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 Original-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 Original-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 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-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" Xref: news.gmane.io gmane.lisp.guile.bugs:10102 Archived-At: --=-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--