darcs

Message4725

Author gour
Recipients beschmi, dagit, gour, tommy
Date 2008-05-16.15:55:33
Issue Issue857 unrecord => Irrefutable pattern failed for pattern Data.Maybe.Just a2_minus_p1n1 (2.0.0+) [expires 2008-12-30]
Content
gour@gaura-nitai ~/r/d/darcs.net> ./darcs --version
2.0.0 (2.0.0 (+ -1 patch))
gour@gaura-nitai ~/r/d/darcs.net> ./darcs unrecord --repodir ~/darcs/emacs-bug/
Fri May 16 12:53:13 CEST 2008  Gour <dev@atmarama.org>
  * remove backup-directory stuff
Shall I unrecord this patch? (1/177)  [ynWsfvpxdaqjk], or ? for help: y
Fri May 16 09:51:35 CEST 2008  dev@atmarama.org
  * put all backup files in backups directory
Shall I unrecord this patch? (2/177)  [ynWsfvpxdaqjk], or ? for help: y
Fri May 16 09:42:50 CEST 2008  dev@atmarama.org
  * DVC stuff
Shall I unrecord this patch? (3/177)  [ynWsfvpxdaqjk], or ? for help: y
Wed May 14 10:37:48 CEST 2008  dev@atmarama.org
  * resolved conflict in ercrc.el (channel names)
Shall I unrecord this patch? (4/177)  [ynWsfvpxdaqjk], or ? for help: n
Skipped unrecord of 1 patch.
Thu Apr 24 17:00:44 CEST 2008  dev@atmarama.org
  * keep mm-url-use-external variable
Shall I unrecord this patch? (6/177)  [ynWsfvpxdaqjk], or ? for help: n
Skipped unrecord of 2 patches.
Mon Apr 21 12:33:14 CEST 2008  dev@atmarama.org
  * new default font for emacs due to radeon video driver
Hi!

Attempt to unrecord few patches from my repo crashes darcs with:

Shall I unrecord this patch? (9/177)  [ynWsfvpxdaqjk], or ? for help: n
Mon Apr 21 09:57:51 CEST 2008  Gour <dev@atmarama.org>
  * extended 'mm-discouraged-alternatives' handling properly rss feeds
Shall I unrecord this patch? (10/177)  [ynWsfvpxdaqjk], or ? for help: n
darcs: src/Darcs/Patch/Real.lhs:43Irrefutable pattern failed for 8:21-67:
pattern Data.Maybe.Just a2_minus_p1n1

I'm attaching the repo...

Sincerely,
Gour
Files
File name Uploaded
emacs-bug.tar.bz2 gour, 2008-05-16.15:55:33
History
Date User Action Args
2008-05-16 15:55:33gourcreate
2008-05-16 15:55:35gourlinkissue857 messages
2008-05-16 15:55:35goursetmessageid: <1210953335.23.0.257350288483.issue857@darcs.net>
2008-05-16 15:55:36goursetrecipients: + gour, tommy, beschmi, dagit