[darcs-users] move vs. delete and add
droundy at abridgegame.org
Sat Mar 12 17:59:52 UTC 2005
On Sat, Mar 12, 2005 at 06:03:39PM +0100, Albert Reiner wrote:
> Such a line-move patch type would be invertible (which the related,
> hypothetical line-copy patch type would not be when different copies
> are modified in incompatible ways), and it would have better
> commutation properties than the simple delete-and-add I currently get
> with `darcs rec`: better patches through more information on the
> intention of the committer.
The commutation behavior would be better, but possibly harder to get
right, since you'd have interesting issues when hunk patches affect
subregions of hunk-move patches. Or when there are nested hunk move
> Does such patch type exist, and if so, how can I get it?
> Or else, are there any plans to add it?
Yes, see bug #47 on bugs.darcs.net.
More information about the darcs-users