From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Zefram Newsgroups: gmane.lisp.guile.bugs Subject: bug#21897: escape continuation passes barrier Date: Fri, 13 Nov 2015 03:31:26 +0000 Message-ID: <20151113033126.GA16544@fysh.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1447385541 15801 80.91.229.3 (13 Nov 2015 03:32:21 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 13 Nov 2015 03:32:21 +0000 (UTC) To: 21897@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Fri Nov 13 04:32:08 2015 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 1Zx55r-00089Z-SD for guile-bugs@m.gmane.org; Fri, 13 Nov 2015 04:32:08 +0100 Original-Received: from localhost ([::1]:50831 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Zx55r-0008Ni-0x for guile-bugs@m.gmane.org; Thu, 12 Nov 2015 22:32:07 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:40056) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Zx55n-0008NI-6E for bug-guile@gnu.org; Thu, 12 Nov 2015 22:32:03 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Zx55m-0003dJ-Ds for bug-guile@gnu.org; Thu, 12 Nov 2015 22:32:03 -0500 Original-Received: from debbugs.gnu.org ([208.118.235.43]:46769) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Zx55m-0003dF-AK for bug-guile@gnu.org; Thu, 12 Nov 2015 22:32:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1Zx55m-000201-1t for bug-guile@gnu.org; Thu, 12 Nov 2015 22:32:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Zefram Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Fri, 13 Nov 2015 03:32:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 21897 X-GNU-PR-Package: guile X-GNU-PR-Keywords: X-Debbugs-Original-To: bug-guile@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.14473854957647 (code B ref -1); Fri, 13 Nov 2015 03:32:01 +0000 Original-Received: (at submit) by debbugs.gnu.org; 13 Nov 2015 03:31:35 +0000 Original-Received: from localhost ([127.0.0.1]:36477 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Zx55L-0001zH-1y for submit@debbugs.gnu.org; Thu, 12 Nov 2015 22:31:35 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:58216) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Zx55J-0001z9-2c for submit@debbugs.gnu.org; Thu, 12 Nov 2015 22:31:33 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Zx55H-0003YK-VE for submit@debbugs.gnu.org; Thu, 12 Nov 2015 22:31:32 -0500 Original-Received: from lists.gnu.org ([2001:4830:134:3::11]:45796) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Zx55H-0003YE-SV for submit@debbugs.gnu.org; Thu, 12 Nov 2015 22:31:31 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:39980) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Zx55G-0008G9-TV for bug-guile@gnu.org; Thu, 12 Nov 2015 22:31:31 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Zx55G-0003Xe-5M for bug-guile@gnu.org; Thu, 12 Nov 2015 22:31:30 -0500 Original-Received: from river6.fysh.org ([2001:41d0:d:20da::2]:54299 helo=river.fysh.org) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Zx55F-0003XJ-Vg for bug-guile@gnu.org; Thu, 12 Nov 2015 22:31:30 -0500 Original-Received: from zefram by river.fysh.org with local (Exim 4.80 #2 (Debian)) id 1Zx55C-0004TP-6n; Fri, 13 Nov 2015 03:31:26 +0000 Content-Disposition: inline X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x 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-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:7893 Archived-At: 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. -zefram