darcs

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

Title tag --checkpoint => fromJust error at DarcsRepo.lhs:496 (1.0.5)
Priority bug Status resolved
Milestone Resolved in
Superseder can't checkpoint partial repository
View: 406
Nosy List darcs-devel, dmitry.kurochkin, kowey, markstos, marnix, mithro, thorkilnaur, tommy
Assigned To
Topics Partial

Created on 2006-07-08.16:13:40 by mithro, last changed 2009-08-27.13:58:32 by admin.

Messages
msg800 (view) Author: mithro Date: 2006-07-08.16:13:37
tim@ultraslim:~/oss/tp/web$ darcs tag --checkpoint
What is the version name? After Status bar addition.
darcs: bug in darcs!
fromJust error at DarcsRepo.lhs:496 compiled 03:03:09 Jan 17 2006
Please report this to bugs@darcs.net,
If possible include the output of 'darcs --exact-version'.
tim@ultraslim:~/oss/tp/web$ darcs --exact-version
darcs compiled on Jan 17 2006, at 03:05:19
unknown
msg832 (view) Author: marnix Date: 2006-07-31.05:27:25
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Tim Ansell wrote:

> tim@ultraslim:~/oss/tp/web$ darcs tag --checkpoint
> What is the version name? After Status bar addition.
> darcs: bug in darcs!
> fromJust error at DarcsRepo.lhs:496 compiled 03:03:09 Jan 17 2006
> Please report this to bugs@darcs.net,
> If possible include the output of 'darcs --exact-version'.
> tim@ultraslim:~/oss/tp/web$ darcs --exact-version
> darcs compiled on Jan 17 2006, at 03:05:19
> unknown

Thanks for that!

- From the output of "darcs --exact-version", it looks like you're running
a pre-1.0.6 version.  Could you let us know the output of "darcs
- --version"?  Could you try if this problem is still present the most
recent version from http://darcs.net?  Thanks!

Groetjes,
 <><
Marnix
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2.2 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFEzZSOjn9v+6JsL6sRAjQNAKCz/tHYaz3uuQk0X20jhtQZDx2ExgCg3W41
oa3RWPcpNHwPq64LplRXz1w=
=I/ML
-----END PGP SIGNATURE-----
msg833 (view) Author: marnix Date: 2006-08-01.17:50:00
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

- -------- Original Message --------
From: - Tue Aug  1 19:47:43 2006
X-Account-Key: account4
X-UIDL: GmailId10cc89d2216578fd
X-Mozilla-Status: 0011
X-Mozilla-Status2: 00000000
X-Gmail-Received: bb681f7a230d7b97180cab6fcdb79e8622f5c4a5
Delivered-To: marnix.klooster@gmail.com
Received: by 10.70.21.19 with SMTP id 19cs145831wxu;        Tue, 1 Aug
2006 00:22:56 -0700 (PDT)
Received: by 10.70.62.3 with SMTP id k3mr3494228wxa;        Tue, 01 Aug
2006 00:22:56 -0700 (PDT)
Return-Path: <mithro@mithis.com>
Received: from lester.mithis.com (lester.mithis.com [69.60.120.93])
   by mx.gmail.com with ESMTP id 8si4093412wrl.2006.08.01.00.22.56;
   Tue, 01 Aug 2006 00:22:56 -0700 (PDT)
Received-SPF: pass (gmail.com: domain of mithro@mithis.com designates
69.60.120.93 as permitted sender)
Received: from [10.1.50.1] (ppp246-117.static.internode.on.net
[203.122.246.117])	by lester.mithis.com (Postfix) with ESMTP id
D6789B2D7	for <marnix.klooster@gmail.com>; Mon, 31 Jul 2006 23:23:51
- -0400 (EDT)
Subject: Re: [darcs-devel] [issue222] Doing as Told
From: Tim Ansell <mithro@mithis.com>
To: Marnix Klooster <marnix.klooster@gmail.com>
In-Reply-To: <44CD948E.9070405@gmail.com>
References: <1152374126.5305.162.camel@localhost>	
<44CD948E.9070405@gmail.com>
Content-Type: text/plain
Organization: MITHIS
Date: Tue, 01 Aug 2006 16:52:29 +0930
Message-Id: <1154416949.4826.4.camel@localhost>
Mime-Version: 1.0
X-Mailer: Evolution 2.6.1
Content-Transfer-Encoding: 7bit

As requested the version information is listed below,

tim@ultraslim:~$ darcs --version
1.0.5 (release)

I'll try the next version once it's included in Dapper.

Tim

On Mon, 2006-07-31 at 07:26 +0200, Marnix Klooster wrote:
> Tim Ansell wrote:
> 
> > tim@ultraslim:~/oss/tp/web$ darcs tag --checkpoint
> > What is the version name? After Status bar addition.
> > darcs: bug in darcs!
> > fromJust error at DarcsRepo.lhs:496 compiled 03:03:09 Jan 17 2006
> > Please report this to bugs@darcs.net,
> > If possible include the output of 'darcs --exact-version'.
> > tim@ultraslim:~/oss/tp/web$ darcs --exact-version
> > darcs compiled on Jan 17 2006, at 03:05:19
> > unknown
> 
> Thanks for that!
> 
> - From the output of "darcs --exact-version", it looks like you're running
> a pre-1.0.6 version.  Could you let us know the output of "darcs
> - --version"?  Could you try if this problem is still present the most
> recent version from http://darcs.net?  Thanks!
> 
> Groetjes,
>  <><
> Marnix

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2.2 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFEz5QYjn9v+6JsL6sRAvrhAJ9VAw9mrcPGn/5uo8X52ernOWfSdwCg8cif
a24J69hE97rfHX/kfn5uKLc=
=q8p0
-----END PGP SIGNATURE-----
msg1831 (view) Author: kowey Date: 2007-07-15.16:49:05
Hi Tim,

Any news on this, please?  Do you still have the error?
msg1833 (view) Author: mithro Date: 2007-07-16.02:29:38
Hello,

We no longer use darcs so are unable to see if this error still exists.
Darcs was just too unstable and too buggy for our needs. We are now
using git.

Thanks for your time.

Tim Ansell

On Sun, 2007-07-15 at 16:49 +0000, Eric Kow wrote:
> Eric Kow <eric.kow@gmail.com> added the comment:
> 
> Hi Tim,
> 
> Any news on this, please?  Do you still have the error?
> 
> ----------
> nosy: +EricKow, beschmi
msg1834 (view) Author: kowey Date: 2007-07-16.07:42:40
Thanks, Tim.  Sorry to hear that and hope you folks are happy with git.

Note for darcs folk: I've done some digging, and it looks pretty much like
issue406.  I'm betting that Tim's repository was partial.  The fromJust in
question now lives in write_recorded_checkpoint (Darcs.Repository.Checkpoint) in
darcs 1.1.0pre

Deferring to that because we won't be able to follow up on this one.
msg2400 (view) Author: markstos Date: 2008-01-09.04:52:15
I just submitted a regression test update to "partial.sh" which demonstrates
that this bug is "resolved in unstable" using Darcs 2 and a darcs-2 format
repository.
History
Date User Action Args
2006-07-08 16:13:40mithrocreate
2006-07-13 18:22:22jchsetnosy: droundy, tommy, mithro
2006-07-13 18:22:40jchsetnosy: droundy, tommy, mithro
title: Doing as Told -> Darcs tag --checkpoint fails with fromJust failure
2006-07-31 05:27:31marnixsetstatus: unread -> unknown
nosy: + marnix
messages: + msg832
title: Darcs tag --checkpoint fails with fromJust failure -> Doing as Told
2006-08-01 17:50:08marnixsetnosy: droundy, marnix, tommy, mithro
messages: + msg833
2006-08-13 11:16:17koweysetnosy: droundy, marnix, tommy, mithro
title: Doing as Told -> fromJust error at DarcsRepo.lhs:496 (1.0.5)
2007-07-15 16:49:05koweysetnosy: + kowey, beschmi
messages: + msg1831
2007-07-16 02:29:40mithrosetmessages: + msg1833
2007-07-16 07:42:41koweysetstatus: unknown -> deferred
superseder: + can't checkpoint partial repository
messages: + msg1834
title: fromJust error at DarcsRepo.lhs:496 (1.0.5) -> tag --checkpoint => fromJust error at DarcsRepo.lhs:496 (1.0.5)
2007-07-23 15:57:45koweysettopic: + Partial
2007-08-03 17:22:49droundysetstatus: deferred -> duplicate
2008-01-09 04:52:19markstossetstatus: duplicate -> resolved-in-unstable
nosy: + markstos
messages: + msg2400
2008-05-07 15:59:38koweysetstatus: resolved-in-unstable -> resolved
nosy: + dagit
2008-05-07 16:02:21koweylinkissue563 superseder
2009-08-06 17:43:05adminsetnosy: + jast, Serware, dmitry.kurochkin, darcs-devel, zooko, mornfall, simon, thorkilnaur, - droundy, marnix, mithro
2009-08-06 20:40:09adminsetnosy: - beschmi
2009-08-10 21:53:41adminsetnosy: + mithro, marnix, - darcs-devel, zooko, jast, Serware, mornfall
2009-08-10 23:55:06adminsetnosy: - dagit
2009-08-25 17:56:23adminsetnosy: + darcs-devel, - simon
2009-08-27 13:58:32adminsetnosy: marnix, tommy, kowey, markstos, darcs-devel, mithro, thorkilnaur, dmitry.kurochkin