Re: [darcs-users] How to extend a patch theory to fully commute

2020-09-30 Thread James Cook
> In camp/darcs-3 (see src/Darcs/Patch/V3) a conflictor consists of three > parts (all prim patches are of course named): > > * The effect (a sequence of prim patches that negate all patches that we > conflict with, unless already negated by a previous conflictor), > > * a set of "contexted"

Re: [darcs-users] How to extend a patch theory to fully commute

2020-09-30 Thread James Cook
(new email address) I'm hoping to do a little write-up of my idea for avoiding conflictors, after working out some details. (Maybe I'll discover it doesn't work out.) For now though I have waited long enough to answer your email so here goes... > I am going to discuss only d here, we need to do