[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: shift and reset in ice-9 control
|
From: |
Andy Wingo |
|
Subject: |
Re: shift and reset in ice-9 control |
|
Date: |
Wed, 30 Mar 2011 16:56:14 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) |
On Mon 21 Mar 2011 02:31, Wolfgang J Moeller <address@hidden> writes:
> Hello again,
>
> On Thu, 17 Mar 2011, Andy Wingo wrote:
>>[...]
>> On Wed 09 Mar 2011 11:53, Wolfgang J Moeller <address@hidden> writes:
>>[...]
>> > (define-syntax reset
>> > (define-syntax shift
>> Did you write these yourself? May we include them in (ice-9 control)?
>
> Yes and yes.
Sweet, thanks.
> However, I don't like it anymore, since I seem to have learned
> that this "direct implementation" doesn't at all play well
> with the use of call/cc within the <body>s, while the call/cc-based
> implementations of shift/reset appear to do so.
>
> I've yet to find out why the latter work "better", and if there's
> a remedy possible using something like with-continuation-barrier ...
Can you give some examples? In Guile things should work fine, AIUI.
In the future (i.e., 2.2), I would like to change continuations to
capture just the Scheme stack, and optionally delimit their extent to a
prompt. I recommend Flatt et al's ICFP 2007 paper for a discussion.
Regards,
Andy
--
http://wingolog.org/
- guile 2.0.0 crash related to call-with-prompt/abort-to-prompt, & more, Wolfgang J Moeller, 2011/03/09
- Re: guile 2.0.0 crash related to call-with-prompt/abort-to-prompt, & more, Andy Wingo, 2011/03/11
- Re: guile 2.0.0 crash related to call-with-prompt/abort-to-prompt, & more, Andy Wingo, 2011/03/14
- Re: guile 2.0.0 crash related to call-with-prompt/abort-to-prompt, & more, Andy Wingo, 2011/03/15
- shift and reset in ice-9 control, Andy Wingo, 2011/03/17