[Haskell-cafe] helping you contribute to darcs (poll results so far)

[Ian Lynagh]

On Wed, Aug 06, 2008 at 12:20:17AM -0700, Jeremy Shaw wrote:
> 
> Are the darcs developers familiar with these papers (available on citeseer):
> 
>  Undo Actions in Collaborative Work, Prakash & Knister 1992
>  Undoing Actions in Collaborative Work: Framework and Experience, Prakash & Knister 1994
> 
> The papers describe an undo mechanism for multiuser collaborative
> editing which sounds like how I imagine darcs patch theory to be (and,
> they even run into the dreaded exponential merge bug and propose a
> solution).
> 
> They include some formal reasoning that may be easy to adapt to darcs?

I've just had a quick read of
    http://citeseer.ist.psu.edu/prakash92undoing.html
AFAICS this only really deals with the case where there are no
conflicts, and doesn't talk about merging.


Thanks
Ian