[darcs-users] bug in get_extra

David Roundy droundy at abridgegame.org
Sat Jul 17 11:01:04 UTC 2004


On Fri, Jul 16, 2004 at 02:20:38PM +0200, Peter Firefly Lund wrote:
> On Fri, 16 Jul 2004, David Roundy wrote:
> 
> > each show up multiple times, and darcs works under the assumption that a
> > patch name is unique.  Perhaps I should add code to check, but I don't like
> 
> You only need to add that code to check and repair (and perhaps optimize).

I've added it to check already.  I can't really repair this kind of damage,
but I suppose perhaps repair should exit with a failure in this case...
-- 
David Roundy
http://www.abridgegame.org




More information about the darcs-users mailing list