[darcs-users] Website - New Revision
Stephen J. Turnbull
stephen at xemacs.org
Fri Apr 24 15:05:40 UTC 2009
Daniel Carrera writes:
> Stephen J. Turnbull wrote:
Doing the easy part first:
> > > This is largely a result of patch theory.
> >
> > True. But the underlying UI choice remains.
>
> I tried to give credit to both in the relevant section of the front page.
Indeed, you succeeded. I meant to say that's the right thing to do,
not criticize the way you did it. Sorry for not making that clearer,
but I guess I was responding to what I saw in front of me and forgot
the context.
> > > A Darcs branch *cannot* have two heads because of the way patch
> > > theory works.
> >
> > That simply isn't true. All you need is the idea of a subset of
> > patches forced to be consistent with any dependencies, and patch
> > theory will work just fine with multiheaded branches/repos.
>
> I don't understand this part.
Patch theory works on a set of patches and their dependencies,
starting from some given order. If you add a little bit of data
structure, then you can say to Darcs (or whatever patch theory
implementation) "you have a repo with 42 patches, but for now let's
just work with this list of 33", restricting the given order to those
33 patches. Of course you have to ensure that the 33 form a valid
repo (ie, all dependencies are present, etc). The extra data
structure of course would hold the set of patches, probably plus some
additional stuff.
But it would get annoying to program, and possibly even more annoying
to operate a UI that could specify it.
More information about the darcs-users
mailing list