[darcs-users] Re: definition of "depends on"?

Yitzchak Gale gale at sefer.org
Sun Apr 29 07:57:31 UTC 2007


Adam Megacz wrote:
> is there ever a case where a patch cannot be
> commuted past a pair of other patches,
> but the combination of the pair
> does commute?  In other words, is there a case where
>
>     A B C <-/-> B' A' C <-/-> B' C' A''
>
> (where one of the two <-/->'s fails) yet
>
>     A (B C) <--> (B C)' A'
>
> (where <--> indicates a successful commute)

Let x, y, and z be changes such that x and y do
not commute, but x and z do commute. Let -y
be the inverse of y. Let

A = {x}
B = {y}
C = {-y, z}

Is this the case you are looking for?

Regards,
Yitz



More information about the darcs-users mailing list