[darcs-users] Character-based patch type

Ian Lynagh igloo at earth.li
Tue Nov 18 20:08:27 UTC 2008


On Mon, Nov 17, 2008 at 08:30:18PM -0800, Jason Dagit wrote:
> On Mon, Nov 17, 2008 at 8:05 PM, Andrew Robbins <and_j_rob at yahoo.com> wrote:
> 
> > I have been working on a character-based diff algorithm for making certain

How will the user interface for creating them work?

> I seem to recall a big part of
> the motivation for David to create darcs was indentation patches :)

I think for that you'd want "indent lines 6-12 by 4 extra spaces" rather
than "Add '    ' at line 6 offset 0; ...; Add '    ' at line 12 offset 0".


Thanks
Ian



More information about the darcs-users mailing list