[darcs-devel] Re: Combining Verification Methods for Darcs

David Roundy droundy at abridgegame.org
Thu Apr 28 06:08:22 PDT 2005


On Thu, Apr 28, 2005 at 08:37:09AM +0000, Aaron Denney wrote:
> On 2005-04-27, David Roundy <droundy at darcs.net> wrote:
> > So (for example) the trivial_filepatch_commute algorithm says that
> > if two patches are filepatches and don't affect the same file, they
> > commute trivially.
> 
> Um, are all the tries at commuting guarded by checks for manually-added
> dependencies?

Yes.  In this case, only "named" patches have manual dependencies, and
named patches aren't filepatches.
-- 
David Roundy
http://www.darcs.net




More information about the darcs-devel mailing list