From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Andy Wingo Newsgroups: gmane.lisp.guile.bugs Subject: bug#21897: escape continuation passes barrier Date: Fri, 24 Jun 2016 18:23:11 +0200 Message-ID: <8760syeets.fsf@pobox.com> References: <20151113033126.GA16544@fysh.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1466787029 15035 80.91.229.3 (24 Jun 2016 16:50:29 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 24 Jun 2016 16:50:29 +0000 (UTC) Cc: 21897@debbugs.gnu.org To: Zefram Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Fri Jun 24 18:50:19 2016 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1bGUJ7-00085s-SG for guile-bugs@m.gmane.org; Fri, 24 Jun 2016 18:50:18 +0200 Original-Received: from localhost ([::1]:44978 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bGUJ7-0003Qv-7k for guile-bugs@m.gmane.org; Fri, 24 Jun 2016 12:50:17 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:39657) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bGTto-0007Lf-N6 for bug-guile@gnu.org; Fri, 24 Jun 2016 12:24:09 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bGTti-00069J-8W for bug-guile@gnu.org; Fri, 24 Jun 2016 12:24:07 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:42213) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bGTti-000698-5l for bug-guile@gnu.org; Fri, 24 Jun 2016 12:24:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1bGTti-0007b4-1W for bug-guile@gnu.org; Fri, 24 Jun 2016 12:24:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Andy Wingo Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Fri, 24 Jun 2016 16:24:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 21897 X-GNU-PR-Package: guile X-GNU-PR-Keywords: Original-Received: via spool by 21897-submit@debbugs.gnu.org id=B21897.146678540329153 (code B ref 21897); Fri, 24 Jun 2016 16:24:01 +0000 Original-Received: (at 21897) by debbugs.gnu.org; 24 Jun 2016 16:23:23 +0000 Original-Received: from localhost ([127.0.0.1]:54550 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bGTt4-0007a8-RQ for submit@debbugs.gnu.org; Fri, 24 Jun 2016 12:23:22 -0400 Original-Received: from pb-sasl1.pobox.com ([64.147.108.66]:60499 helo=sasl.smtp.pobox.com) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bGTt3-0007a0-2f for 21897@debbugs.gnu.org; Fri, 24 Jun 2016 12:23:21 -0400 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by pb-sasl1.pobox.com (Postfix) with ESMTP id DF2311F926; Fri, 24 Jun 2016 12:23:19 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; s=sasl; bh=3T5rA/nEqVkvNmqgEQyNvbR08Zg=; b=UtQguU qR+He5aVSCcpV2iUWcSQkwZHikgDjje0/2i87QdrGaRL/oPE2WGCtM+0zsqE4Xvl TvqCXNfe9i2oXdap7jUNOGFo/VWOyuD+xHfi4RhES+ViYbFZsGjrHjfuHalnyAD2 SNA8S8OgvEcHzpcc7BJfAHNZcJxq/ZaZYTQ9w= DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; q=dns; s=sasl; b=eBrcfYegedfULBEn5gH1gqvdSUS0frq1 uAqOPlY4n9AGiyuavp0WDKP1cMKOPd11+mSKxeyToyUzotImDx43qHP26Xo/I3UI Ik5p6EbaeXTV1P0KTXAHT1t7Pr1cnNFp9Oj1DMT39v0/gHchyuSmisHp4exHXmtq i6H6S1gTBQE= Original-Received: from pb-sasl1.nyi.icgroup.com (unknown [127.0.0.1]) by pb-sasl1.pobox.com (Postfix) with ESMTP id C7F681F925; Fri, 24 Jun 2016 12:23:19 -0400 (EDT) Original-Received: from clucks (unknown [88.160.190.192]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by pb-sasl1.pobox.com (Postfix) with ESMTPSA id 11F261F924; Fri, 24 Jun 2016 12:23:18 -0400 (EDT) In-Reply-To: <20151113033126.GA16544@fysh.org> (zefram@fysh.org's message of "Fri, 13 Nov 2015 03:31:26 +0000") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) X-Pobox-Relay-ID: F660D37C-3A27-11E6-ABBB-C1836462E9F6-02397024!pb-sasl1.pobox.com X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 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.org@gnu.org Original-Sender: "bug-guile" Xref: news.gmane.org gmane.lisp.guile.bugs:8236 Archived-At: On Fri 13 Nov 2015 04:31, Zefram writes: > scheme@(guile-user)> (use-modules (ice-9 control)) > scheme@(guile-user)> (call/ec (lambda (c) (with-continuation-barrier (lambda () (c "through continuation"))) "c-w-b returned")) > $1 = "through continuation" > > The continuation barrier works fine on call/cc continuations and > on throw/catch, but doesn't block call/ec continuations. The manual > doesn't mention any difference in behaviour for this case, nor can I > see any obvious justification for it. The manual's statement that > > # Thus, `with-continuation-barrier' returns exactly once. > > is false in this case. I think a continuation barrier should block the > use of the call/ec continuation. I agree, good catch. Andy