[darcs-devel] rebase unsuspend and force-commute

[Ganesh Sittampalam]

Hi,

On 04/10/2019 18:03, Benjamin Franksen wrote:

> Up to now I have assumed that the RepoPatch type is RepoPatchV3: the
> prims f and g have unrelated names, but the name for f is the same in
> both ng and np'. So when we merge f;p with f;g the common f is extracted
> into the common trunk and then actual merge is done only with g and p.

[...]

> Nor can I tell for sure, yet, whether
> sharing the same named prim for f in different named patches will have
> any problematic side-effects later on.

One immediate high-level thought/question. Doesn't this trick with
re-using prim names violate the invariants of V3 and give us back a way
to swap out dependencies via duplicate prims? Even if it's not directly
exposed to the user it feels quite close to it.

Cheers,

Ganesh