[darcs-devel] [darcs #39] From TODO: Rewrite Merger commutes so that no merge with A^-1A will conflict.

via RT bugs at darcs.net
Sun Nov 7 13:08:10 PST 2004


Sun Nov 07 16:08:09 2004: New ticket: 39.
Transaction: Ticket created by guest
       Queue: Darcs
     Subject: From TODO: Rewrite Merger commutes so that no merge with A^-1A
 will conflict.
       Owner: Nobody
  Requestors: droundy at abridgegame.org
      Status: new
 Ticket <URL: http://bugs.darcs.net/.//Ticket/Display.html?id=39 >

This is mostly just a change in the merger commute, but also
  should involve writing a unit test and working on the name-conflict
  commute.  I think that when this property is implemented, elegant_merge
  can then be simplified and sped up by perhaps a factor of two.




More information about the darcs-devel mailing list