New submission from David Roundy <[EMAIL PROTECTED]>: On Thu, Nov 24, 2005 at 12:39:41AM +0000, Mark Stosberg wrote: > I'm sorry for the less-then-useful patch names. When I try to unrecord > in my darcs-stable repo, I get an error: > > Fail: failed to read patch in get_extra: > Fri Feb 4 07:37:49 EST 2005 David Roundy <[EMAIL PROTECTED]> > * bump version number to 1.0.2 (at last!) > Perhaps this is a 'partial' repository? > > Shouldn't I be able to unrecord, even if /is/ a partial repo?
Hmmm. Yes, you should be able to unrecord, as long as you don't try to unrecord a patch that's not available (which I'm sure you weren't trying to do). Our handling of partial repositories is pretty fragile, I'm afraid. Fixes for bugs such as this one also have the benefit of making darcs more efficient (since the trouble here is that we're reading a patch that in reality we don't need to read). If you (or anyone else) could figure out how to generate at test case for this, that would be most excellent. The trouble is that very minor changes in our algorithm can break the handling of partial repositories. As I said, it's fragile. :( (On the plus side, it's not fragile in any sense that could lead to corruption.) -- David Roundy http://www.darcs.net ---------- messages: 79 nosy: droundy, tommy status: unread title: failure to unrecord in a partial repository. ____________________________________ Darcs issue tracker <[EMAIL PROTECTED]> <http://bugs.darcs.net/issue20> ____________________________________ _______________________________________________ darcs-devel mailing list [email protected] http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
