[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#14039: Bug in with-fluids semantics

From: Stefan Israelsson Tampe
Subject: bug#14039: Bug in with-fluids semantics
Date: Sun, 24 Mar 2013 14:47:35 +0100

I got the impression (on irc) that you thought backtracking would be
compromised with
my fix. Not so. It's the other half of the swap that should be skiped.
All semantics referring
to situations where a continuation is used one or zero times is preserved.

Consider a fluid a, with value v and storage s

the swap used on wind and non local unwind and currently on return unwind
temp <- v
v  <- s
s  <- temp

Suggestion for the return unwind:
v <- s

E.g. we will backtrack to the old value before but not store the
current value in s.

It's true that the semantic is different. I would really say that we
need to have both implemented.
I would argue that my solution should be default. But I can live with
it being a separate construct
only that it will have support in the VM to get sane behavior in logic programs.


On Sat, Mar 23, 2013 at 8:07 PM, Andy Wingo <address@hidden> wrote:
> On Sat 23 Mar 2013 11:41, Stefan Israelsson Tampe <address@hidden> writes:
>> The reason is that when the with-fluid returns normally it does a full
>> swap. It should only do half a swap e.g. restore the old value of the
>> fluid and not store the current which is of non use because it can not
>> be reached anymore and it contaminates the continuation k.
> That's not how fluids work, semantically: for better (I think) or for
> worse (you think).  We cannot change this.
> A
> --
> http://wingolog.org/

reply via email to

[Prev in Thread] Current Thread [Next in Thread]