[prev in list] [next in list] [prev in thread] [next in thread] 

List:       darcs-conflicts
Subject:    Re: [darcs-conflicts] inversion of conflictors and symmetry
From:       David Roundy <droundy () abridgegame ! org>
Date:       2005-10-24 12:41:00
Message-ID: 20051024124053.GB13767 () abridgegame ! org
[Download RAW message or body]

On Wed, Oct 19, 2005 at 12:42:27PM +0100, Ian Lynagh wrote:
> On Wed, Oct 19, 2005 at 07:30:32AM -0400, David Roundy wrote:
> > On Tue, Oct 18, 2005 at 08:35:35PM +0100, Ian Lynagh wrote:
> > > On Tue, Oct 18, 2005 at 09:02:31AM -0400, David Roundy wrote:
> > > > 
> > > > Bc:P:Ac :: before -> after
> > > > Bs   :: [after -> _] -- Sets of patches
> > > > Fs   :: [before -> _] -- with contexts
> > > > 
> > > > > What would AB commute to in the conflicting case?
> > > > 
> > > > AB <-> [:B:; ; A^] [:A:; B; ]
> > > 
> > > I'm lost. o A a B b (lowercase are states) then
> > > 
> > > o A a B b <-> o [a :B: b; ; a A^ o] a [0 :A: a; a B b; ] b
> > > 
> > > but I'm having trouble making sense of that.
> > 
> > That's because I've left out discussion of the effect of a conflictor,
> > perhaps?
> > 
> > > Is your whole conflictor before -> after?
> > 
> > I don't understand the question.
> 
> Given (as above):
> 
> Bc:P:Ac :: before -> after
> Bs      :: [after -> _] -- Sets of patches
> Fs      :: [before -> _] -- with contexts
> 
> is it meant to be the case that
> 
> [Bc:P:Ac; Bs; Fs] :: before -> after
> 
> ?

No.

> If not, is there some other type (if you'll forgive me overloading the
> term) it's meant to have?

Yeah, there's got to be some other type, which will reflect the effect of
the conflictor.  I've got some ideas on this, which I'll lay out in a
separate email (since they're very lengthy, and I've already composed much
of the email in my head, since I was out of town most of this weekend (and
away from computers).
-- 
David Roundy
http://www.darcs.net

_______________________________________________
darcs-conflicts mailing list
darcs-conflicts@darcs.net
http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-conflicts
[prev in list] [next in list] [prev in thread] [next in thread]