[darcs-devel] [patch1780] minimize context inside unrevert patch at the head of ...

Ben Franksen bugs at darcs.net
Tue Jun 11 15:15:52 UTC 2019


Ben Franksen <ben.franksen at online.de> added the comment:

> I had to think about this a bit to understand what's going on with
> the unrevert patch. First the user splits unrecorded into 'norevert'
> then 'p' (the stuff to be reverted). But the unrevert patch
> needs to be relative to recorded, not unrecorded. So we need
> to commute p with norevert, and if that fails then keep some
> of norevert in the unrevert patch so it still makes sense. This
> patch is about minimising how much of norevert we keep, rather than
> the existing all/nothing decision.

Exactly. It took me a while to figure that one out myself. Should put a
comment in the code, perhaps just copy and paste what you wrote above.

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1780>
__________________________________


More information about the darcs-devel mailing list