[darcs-users] bug: unrevert fails after rerecord

[Tommy Pettersson]

darcs 1.0.0rc1

  $ darcs init
  Successfully initialized repository!
  $ echo a > a             
  $ darcs add a; darcs rec -a -m a
  Finished recording patch 'a'
  $ cat /dev/null >a
  $ darcs rec -a -m tmp
  Finished recording patch 'tmp'
  $ darcs unrec
  
  Thu Aug 26 03:58:28 CEST 2004  m
    * tmp
  Shall I unrecord this patch? [yNvq?] y
  Finished unrecording.
  $ darcs rev -a
  Do you really want to do this? y
  Finished reverting.
  $ cat /dev/null >a
  $ darcs rerec
  
  Thu Aug 26 03:57:48 CEST 2004  m
    * a
  Shall I rerecord this patch? [yNvq?] y
  hunk ./a 1
  -a
  Shall I rerecord this patch? (1/1) [ynWsfqdjk?] y
  Finished rerecording patch:
  Thu Aug 26 03:59:13 CEST 2004  m
    * a
  $ darcs unrev
  So far so good... finished merging.
  
  Fail: bug in darcs!
  fromJust error at Unrevert.lhs:83 compiled 11:30:43 Aug 16 2004
  Please report this to darcs-users at abridgegame.org


_darcs/patches/unrevert is left untouched by rerecord, if
that can have anything to do with the bug.


-- 
Tommy Pettersson <ptp at lysator.liu.se>