|  | 
 | 
Created on 2006-11-13.12:38:58 by simonpj, last changed 2009-08-27.13:50:56 by admin. 
 
  
   | msg1210 (view) | Author: simonpj | Date: 2006-11-13.12:38:48 |  |  
   | I've just had a get_extra crash in an even simpler situation.
I have repository which I got with
        darcs get --partial darcs.haskell.org/ghc
I recorded a one-line patch.
I tried to un-record it.  Darcs crashed (output below).
This seems incomprehensible to me.  I recorded that patch only *one* minute ago!  Why can't I un-record it?  Surely it should be an invariant that you can *always* unrecord if you have just recorded?
Simon
sh-2.04$ darcs unrecord
Mon Nov 13 12:32:05 GMT Standard Time 2006  simonpj@microsoft.com
  * Use implication constraints to improve type inference (part 2)
Shall I unrecord this patch? (1/277)  [ynWvpxqadjk], or ? for help: y
Fri Nov 10 13:31:23 GMT Standard Time 2006  simonpj@microsoft.com
  * Use implication constraints to improve type inference
Shall I unrecord this patch? (2/277)  [ynWvpxqadjk], or ? for help: d
darcs.exe: failed to read patch in get_extra:
Fri Apr  7 11:18:39 GMT Daylight Time 2006  Simon Marlow <simonmar@microsoft.com>
  * Fix a bug related to threads blocked on blackholes
  We weren't making them live early enough, with the result that
  finalizable objects referred to only by a thread blocked on a black
  hole could be finalized too early (see conc057 test).
Perhaps this is a 'partial' repository?
sh-2.04$ |  
   | msg2000 (view) | Author: kowey | Date: 2007-08-05.20:04:53 |  |  
   | Closing as a duplicate of issue317 |  |
 
| Date | User | Action | Args |  | 2006-11-13 12:38:58 | simonpj | create |  |  | 2007-01-07 16:04:06 | marcot | link | issue20 superseder |  | 2007-01-07 16:05:03 | marcot | set | nosy:
  + beschmi superseder:
  + failure to unrecord in a partial repository.
 |  | 2007-07-23 13:52:32 | kowey | set | topic:
  + Partial nosy:
  droundy, tommy, beschmi, kowey, simonpj
 title: More pain with get_extra and partial repositories -> unrecord => failed to read patch in get_extra
 |  | 2007-08-05 20:04:54 | kowey | set | status: unread -> duplicate messages:
  + msg2000
 superseder:
  + darcs fails to unrecord a patch I just recorded (failed to read patch in get_extra) (1.0.8), - failure to unrecord in a partial repository.
 |  | 2009-08-06 17:50:23 | admin | set | nosy:
  + markstos, jast, Serware, dmitry.kurochkin, darcs-devel, zooko, dagit, mornfall, simon, thorkilnaur, - droundy, simonpj |  | 2009-08-06 20:52:45 | admin | set | nosy:
  - beschmi |  | 2009-08-10 21:58:44 | admin | set | nosy:
  + simonpj, - markstos, darcs-devel, zooko, jast, dagit, Serware, mornfall |  | 2009-08-25 18:01:42 | admin | set | nosy:
  + darcs-devel, - simon |  | 2009-08-27 13:50:56 | admin | set | nosy:
  tommy, kowey, darcs-devel, simonpj, thorkilnaur, dmitry.kurochkin | 
 |