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 <droundy@abridgegame.org>
> * 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
|