[darcs-devel] [patch1660] Eliminate redundant constraints in Util, Repository and Patch

Guillaume Hoffmann bugs at darcs.net
Mon Mar 12 02:36:00 UTC 2018


Guillaume Hoffmann <guillaumh at gmail.com> added the comment:

Ganesh: yes, and I guess this is correlated with the contemporary
documentation about patch theory, that talks about commutation and
inversion, but falls short of the issue of conflicts (Patchy is not a
subclass of Conflict nor Merge).

To make reviewing easier, here is a diff of before/after the patches of
this ticket:

http://lpaste.net/2558136303078080512

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


More information about the darcs-devel mailing list