GNU logs - #21897, boring messages

Message sent to bug-guile@HIDDEN:

Subject: bug#21897: escape continuation passes barrier
Resent-From: Zefram <zefram@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Fri, 13 Nov 2015 03:32:01 +0000
Resent-Message-ID: <handler.21897.B.14473854957647 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 21897 <at> debbugs.gnu.org
Date: Fri, 13 Nov 2015 03:31:26 +0000
From: Zefram <zefram@HIDDEN>
Message-ID: <20151113033126.GA16544@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

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

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.503 (Entity 5.503)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Zefram <zefram@HIDDEN>
Subject: bug#21897: Acknowledgement (escape continuation passes barrier)
Message-ID: <handler.21897.B.14473854957647.ack <at> debbugs.gnu.org>
References: <20151113033126.GA16544@HIDDEN>
X-Gnu-PR-Message: ack 21897
X-Gnu-PR-Package: guile
Reply-To: 21897 <at> debbugs.gnu.org
Date: Fri, 13 Nov 2015 03:32:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-guile@HIDDEN

If you wish to submit further information on this problem, please
send it to 21897 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
21897: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D21897
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-guile@HIDDEN:

Subject: bug#21897: escape continuation passes barrier
Resent-From: Andy Wingo <wingo@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Fri, 24 Jun 2016 16:24:01 +0000
Resent-Message-ID: <handler.21897.B21897.146678540329153 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Zefram <zefram@HIDDEN>
Cc: 21897 <at> debbugs.gnu.org
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=
From: Andy Wingo <wingo@HIDDEN>
References: <20151113033126.GA16544@HIDDEN>
Date: Fri, 24 Jun 2016 18:23:11 +0200
In-Reply-To: <20151113033126.GA16544@HIDDEN> (zefram@HIDDEN's message of
 "Fri, 13 Nov 2015 03:31:26 +0000")
Message-ID: <8760syeets.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

On Fri 13 Nov 2015 04:31, Zefram <zefram@HIDDEN> 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

Message sent to bug-guile@HIDDEN:

Subject: bug#21897: verified in 3.0.2
References: <20151113033126.GA16544@HIDDEN>
In-Reply-To: <20151113033126.GA16544@HIDDEN>
Resent-From: Matt Wette <matt.wette@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Sun, 29 Mar 2020 17:29:02 +0000
Resent-Message-ID: <handler.21897.B21897.158550292531554 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 21897 <at> debbugs.gnu.org
From: Matt Wette <matt.wette@HIDDEN>
Message-ID: <5699d998-480a-0f0d-ee59-c44100c2e6d2@HIDDEN>
Date: Sun, 29 Mar 2020 10:28:36 -0700
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.4.1
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Content-Language: en-US
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

This still exists in 3.0.2

scheme@(guile-user)> ,use (ice-9 control)

scheme@(guile-user)> (call/ec (lambda (c) (with-continuation-barrier (lambda () (c "through continuation"))) "c-w-b returned"))
$1 = "through continuation"

scheme@(guile-user)> (version)
$2 = "3.0.2"

Last modified: Sun, 29 Mar 2020 17:30:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.