[darcs-users] Identical patches and dependencies

Ian Lynagh igloo at earth.li
Wed Aug 13 18:14:09 UTC 2008


On Wed, Aug 13, 2008 at 10:51:03AM -0700, David Roundy wrote:
> This is a known bug that has been announced in most of the darcs-2
> release announcements.

Ah, I see this is talked about on http://wiki.darcs.net/index.html/DarcsTwo

I must have read it some time ago and forgotten about it.

Anyway, from where I'm sitting, this just shows that primitive patches
must be named, which is good news IMO, as I think it'll simplify the
theory. We will now really have sets rather than bags, and I don't
remember off-hand exactly what your arguments for using catches in
contexts were, but I think that this means that we can just use patches
rather than catches, as we don't need to worry about telling the
contexted patches apart.


Thanks
Ian



More information about the darcs-users mailing list