--- David Roundy <[EMAIL PROTECTED]> escribi�: 
> I think your question is where darcs will be going once the conflictor code
> is complete and well-tested? The long-time TODO list includes addition of
> new patch types that will reduce the danger of conflicts in certain
> situations (e.g. paragraphs wrapped at 72 lines--of course 72 wouldn't be
> hard-coded).  This would be great for the papers I work on, which are of
> course written in latex... we'd be able to simultaneously edit the same
> paragraph perhaps.  Also an indentation patch type would be nice, again to
> reduce the incidence of conflicts.  And hunk moves (and possibly inter-file
> hunk moves).
> 
> On the more mundane side, support for signed repositories is only waiting
> on an implementor.
> 
> And if I had a infinite number of monkeys banging on keyboards, I'd assign
> some fraction of them (which fortunately would also be an infinite number)
> to work on a gui or ncurses interface for patch selection--it would really
> be much better than the current interface.  Another interesting problem
> would be that of creating a sort of lexing/parsing language that would
> allow customized patch types that are specific to a particular programming
> language.  This is a particularly hard problem, as you'd need to have the
> parsing always succeed and always give meaningful (and reasonable) results.
> And the resulting patches would have to merge and commute in a meaningful
> and useful manner.

User-defined new patch types would be very nice for applying program 
transformation techniques.
Say you apply a transformation to the code. Commiting it as a hunk patch would 
be insane. If you
can define a new patch type for this transformation (instruct darcs what this 
transformation does
and how and when it "commute" with other patches) you can save bandwith and the 
patch would have
nicer properties regarding commutativity. Thus, a patch can be generalized to 
be any program
(written in haskell?) that does a source to source transformation. Token 
replace, hunk, ...
patches are specific programs defined by darcs and new patch types can be added 
by the user.

Best regards,

Antonio Regidor Garc�a


                
______________________________________________ 
Renovamos el Correo Yahoo! 
Nuevos servicios, m�s seguridad 
http://correo.yahoo.es

_______________________________________________
darcs-users mailing list
[email protected]
http://www.abridgegame.org/mailman/listinfo/darcs-users

Reply via email to