Issue 970: darcs check fails - Darcs bug tracker

Title	darcs check fails
Priority	bug	Status	duplicate
Milestone		Resolved in
Superseder	darcs check fails (case sensitivity on filenames) View: 971	Nosy List	darcs-devel, dmitry.kurochkin, kowey, simonmar, simonpj, thorkilnaur, tommy
Assigned To		Topics

Created on 2008-07-24.21:37:21 by simonpj, last changed 2009-10-23.23:35:47 by admin.

Files
File name	Uploaded	Type	Edit	Remove
unnamed	simonpj, 2008-07-24.21:37:16	text/html

msg5252 (view)

Author: simonpj

Date: 2008-07-24.21:37:16

Incidentally I expect you already know this, but 'darcs check' doesn't work (on Windows at least) on the GHC repo, even with darcs 2.0.  I recall something to do with a case error but I thought darcs 2 fixed that.  Maybe not.  Or maybe not with the existing GHC repo anyway.

Of course, for anyone who doesn't already know that 'darcs check' fails, it's terribly unsettling.  Is my repo so corrupt that it crashes darcs?  A more polite error message such as "You can't run check on this repository because..." would be much better.

Dump below.

PS: in my previous message about an infinite loop I should have said that I'm on Windows.  Apologies.

Simon

darcs2 check
Checking patch 5/19039 : Mon Jan  8 20:28:12 GMT Standard Time 1996  partain
Checking patch 6/19039 : Tue Jan  9 18:03:28 GMT Standard Time 1996  partain
Checking patch 12/19039 : Thu Jan 11 14:26:13 GMT Standard Time 1996  partain
Unapplicable patch:
Thu Jan 11 14:26:13 GMT Standard Time 1996  partain
  * [project @ 1996-01-11 14:06:51 by partain]

darcs failed:  File './ghc/includes/RtsTypes.lh' already exists!
sh-2.04$

Attachments

unnamed

History
Date	User	Action	Args
2008-07-24 21:37:21	simonpj	create
2008-07-25 08:43:42	kowey	set	priority: bug status: unread -> duplicate superseder: + darcs check fails (case sensitivity on filenames) nosy: tommy, beschmi, dagit, igloo, simonmar, simonpj
2009-08-06 21:09:55	admin	set	nosy: + dmitry.kurochkin, simon, kowey, thorkilnaur, - beschmi
2009-08-11 00:19:23	admin	set	nosy: - dagit
2009-08-25 17:18:32	admin	set	nosy: + darcs-devel, - igloo
2009-08-25 18:13:44	admin	set	nosy: - simon
2009-08-27 14:01:32	admin	set	nosy: tommy, kowey, darcs-devel, simonmar, simonpj, thorkilnaur, dmitry.kurochkin
2009-10-23 22:37:20	admin	set	nosy: + marlowsd, - simonmar
2009-10-23 23:35:47	admin	set	nosy: + simonmar, - marlowsd

Issue 970 darcs check fails

Attachments