darcs

Issue 563 tag --checkpoint => fromJust error at DarcsRepo.lhs:522 (1.0.5)

Title tag --checkpoint => fromJust error at DarcsRepo.lhs:522 (1.0.5)
Priority bug Status resolved
Milestone Resolved in
Superseder tag --checkpoint => fromJust error at DarcsRepo.lhs:496 (1.0.5)
View: 222
Nosy List darcs-devel, dmitry.kurochkin, jon.fairbairn, kowey, markstos, thorkilnaur, tommy
Assigned To jon.fairbairn
Topics Partial

Created on 2007-11-19.16:02:57 by jon.fairbairn, last changed 2009-08-27.13:58:33 by admin.

Messages
msg2267 (view) Author: jon.fairbairn Date: 2007-11-19.16:02:56
In a local copy -- made with --no-pristine-tree -- of a repository:

21:39:32$ darcs tag --checkpoint 
What is the version name? Appendix B enforced!
darcs: bug in darcs!
fromJust error at DarcsRepo.lhs:522 compiled 20:49:10 Jul  1 2007
Please report this to bugs@darcs.net,
If possible include the output of 'darcs --exact-version'.

21:40:47$ darcs --exact-version
darcs compiled on Jul  1 2007, at 20:50:21
# configured Sat Jun 16 09:59:48 PDT 2007
./configure /usr/local/share/config.site /usr/local/etc/config.site

Context:

[TAG 1.0.9
Tommy Pettersson <ptp@lysator.liu.se>**20070603213706]
msg2375 (view) Author: markstos Date: 2008-01-09.03:06:53
Thanks for the report, Jon. 

If you still have this repo around, try testing with Darcs 2 to see if the issue
has been resolved.  You can get binaries for Darcs 2 for Mac and Linux from here:
http://wiki.darcs.net/index.html/DarcsTwo

Once you have it installed, you can create a copy of the repo with the darcs-2
internal format:

darcs covert orig_repo new_repo
cd new repo
darcs tag --checkpoint
msg3521 (view) Author: markstos Date: 2008-02-17.01:31:46
Jon, 

This bug is being deferred now, because we need further testing on your end to
proceed. 

If you still have this repo around, try testing with Darcs 2 to see if the issue
has been resolved.  You can get binaries for Darcs 2 for Mac and Linux from here:
http://wiki.darcs.net/index.html/DarcsTwo

Once you have it installed, you can create a copy of the repo with the darcs-2
internal format:

darcs covert orig_repo new_repo
cd new repo
darcs tag --checkpoint
msg4560 (view) Author: kowey Date: 2008-05-07.16:02:18
Hi Jon,

This bug appears to have been resolved in darcs 2.0.0 (but you'll have to
convert to the darcs2 format).

I am guessing that this was a partial repository where it happened, and that
darcs 2's --lazy substitute will work better.

I'm going to close this bug, but please protest if you think this may still be
valid!
History
Date User Action Args
2007-11-19 16:02:58jon.fairbairncreate
2008-01-09 03:06:59markstossetstatus: unread -> unknown
nosy: + markstos
messages: + msg2375
2008-01-30 21:57:54markstossetstatus: unknown -> waiting-for
nosy: droundy, tommy, beschmi, kowey, markstos, jon.fairbairn
2008-02-17 01:31:47markstossetstatus: waiting-for -> deferred
nosy: droundy, tommy, beschmi, kowey, markstos, jon.fairbairn
assignedto: jon.fairbairn
messages: + msg3521
title: tag --checkpoint died -> tag --checkpoint died (1.0.9)
2008-05-07 16:02:21koweysetstatus: deferred -> resolved
title: tag --checkpoint died (1.0.9) -> tag --checkpoint => fromJust error at DarcsRepo.lhs:522 (1.0.5)
nosy: + dagit
messages: + msg4560
topic: + Partial
superseder: + tag --checkpoint => fromJust error at DarcsRepo.lhs:496 (1.0.5)
2009-08-06 17:47:24adminsetnosy: + jast, Serware, dmitry.kurochkin, darcs-devel, zooko, mornfall, simon, thorkilnaur, - droundy, jon.fairbairn
2009-08-06 20:43:15adminsetnosy: - beschmi
2009-08-10 22:09:42adminsetnosy: + jon.fairbairn, - darcs-devel, zooko, jast, Serware, mornfall
2009-08-11 00:03:50adminsetnosy: - dagit
2009-08-25 17:59:11adminsetnosy: + darcs-devel, - simon
2009-08-27 13:58:33adminsetnosy: tommy, kowey, markstos, darcs-devel, thorkilnaur, jon.fairbairn, dmitry.kurochkin