darcs

Issue 415 record => Impossible case at PatchRead.lhs:56 (ca 2005-12)

Title record => Impossible case at PatchRead.lhs:56 (ca 2005-12)
Priority bug Status resolved
Milestone Resolved in
Superseder Nosy List darcs-devel, dmitry.kurochkin, kowey, markstos, nx200, thorkilnaur, tommy
Assigned To
Topics

Created on 2007-02-19.18:57:43 by nx200, last changed 2009-08-27.14:06:18 by admin.

Messages
msg1488 (view) Author: nx200 Date: 2007-02-19.18:57:36
I tried "darcs record" as shown below, it failed. I am not sure it 
relates to the removing of a sub directory.
"darcs record" worked well until I did the following:

I removed a subdirectory

$rm  -rf test/*

then tried

$darcs remove test

and got error message

"darcs failed:  Can't remove compiler/test"

then tried

$darcs record -am "some changes"
darcs: bug in darcs!
Impossible case at PatchRead.lhs:56 compiled 00:48:54 Dec 27 2005
Please report this to bugs@darcs.net,
If possible include the output of 'darcs --exact-version'.

$darcs --exact-version
darcs compiled on Dec 27 2005, at 00:51:05
unknown

Best regards,
Dana
msg1515 (view) Author: kowey Date: 2007-03-08.10:13:00
> I removed a subdirectory
>
> $rm  -rf test/*
>
> then tried
>
> $darcs remove test
>
> and got error message
>
> "darcs failed:  Can't remove compiler/test"

That's probably normal; it already has been removed (perhaps the UI/errors
messages need to be improved)

> $darcs record -am "some changes"
> darcs: bug in darcs!
> Impossible case at PatchRead.lhs:56 compiled 00:48:54 Dec 27 2005

That's not normal.  Thanks for the report.  We would be much obliged if you
could submit a minimal test case.  Also, do you get the same behaviour with a
recent darcs?

N.B, unlike issue394 and its cousins, this is with a darcs record, not a darcs get.
msg1516 (view) Author: nx200 Date: 2007-03-08.11:07:05
The interesting thing is that "darcs record -am "some changes"" worked on 
the following day, without me doing anything. I mean I left the machine on 
for the night and typed the same command at the same shell the following 
morning and it worked. Could the error relate to time? I am not sure how to 
generate a test case. The "darcs record" works normally from then on.

Best,
Dana. 

On Mar 8 2007, Eric Kow wrote:

>
>Eric Kow <eric.kow@gmail.com> added the comment:
>
>> I removed a subdirectory
>>
>> $rm  -rf test/*
>>
>> then tried
>>
>> $darcs remove test
>>
>> and got error message
>>
>> "darcs failed:  Can't remove compiler/test"
>
>That's probably normal; it already has been removed (perhaps the UI/errors
>messages need to be improved)
>
>> $darcs record -am "some changes"
>> darcs: bug in darcs!
>> Impossible case at PatchRead.lhs:56 compiled 00:48:54 Dec 27 2005
>
> That's not normal. Thanks for the report. We would be much obliged if you 
> could submit a minimal test case. Also, do you get the same behaviour 
> with a recent darcs?
>
> N.B, unlike issue394 and its cousins, this is with a darcs record, not a 
> darcs get.
>
> ---------- priority: -> bug status: unread -> chatting title: cannot 
> record -> record => Impossible case at PatchRead.lhs:56 (ca 2005-12)
>
>____________________________________
>Darcs issue tracker <bugs@darcs.net>
><http://bugs.darcs.net/issue415>
>____________________________________
>
msg3477 (view) Author: markstos Date: 2008-02-16.03:20:54
From reviewing the code myself, this issue is "resolved-in-unstable" because the
"impossible case" has been eliminated from the code in Patch/Read.lhs. If you
find a similar issues exists with the Darcs 2 pre-releases, please let us know.
History
Date User Action Args
2007-02-19 18:57:43nx200create
2007-03-08 10:13:03koweysetstatus: unread -> unknown
nosy: droundy, tommy, beschmi, kowey, nx200
messages: + msg1515
title: cannot record -> record => Impossible case at PatchRead.lhs:56 (ca 2005-12)
2007-03-08 11:07:25nx200setnosy: droundy, tommy, beschmi, kowey, nx200
messages: + msg1516
2007-07-12 06:47:37koweylinkissue488 superseder
2008-01-19 06:26:43markstossetstatus: unknown -> waiting-for
nosy: droundy, tommy, beschmi, kowey, nx200
2008-02-16 03:20:56markstossetstatus: waiting-for -> resolved-in-unstable
nosy: + markstos
messages: + msg3477
2008-09-04 21:30:32adminsetstatus: resolved-in-unstable -> resolved
nosy: + dagit
2009-08-06 17:45:59adminsetnosy: + jast, Serware, dmitry.kurochkin, darcs-devel, zooko, mornfall, simon, thorkilnaur, - droundy, nx200
2009-08-06 20:41:41adminsetnosy: - beschmi
2009-08-10 22:02:06adminsetnosy: + nx200, - darcs-devel, zooko, jast, Serware, mornfall
2009-08-10 23:59:35adminsetnosy: - dagit
2009-08-25 17:57:47adminsetnosy: + darcs-devel, - simon
2009-08-27 14:06:18adminsetnosy: tommy, kowey, markstos, darcs-devel, nx200, thorkilnaur, dmitry.kurochkin