darcs

Issue 488 record => Impossible case at PatchRead.lhs:56 (1.0.8)

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

Created on 2007-06-22.13:31:14 by kwluoto, last changed 2009-08-27.14:07:00 by admin.

Messages
msg1745 (view) Author: kwluoto Date: 2007-06-22.13:31:13
Dear sirs --

The software wants me to report a bug.
Here is the transcript of the session.
================ begin transcript ==========================

555$ darcs record -a -m "Computations for connected 6,3 and 7,3 matroids."
darcs: bug in darcs!
Impossible case at PatchRead.lhs:56 compiled 12:25:14 Jun 24 2006
Please report this to bugs@darcs.net,
If possible include the output of 'darcs --exact-version'.
556$ darcs --exact-version
darcs compiled on Jun 24 2006, at 12:27:50
# configured Sat Jun 24 12:22:49 MST 2006
./configure --no-create --no-recursion

Context:

[TAG 1.0.8
Tommy Pettersson <ptp@lysator.liu.se>**20060616160213]
557$
msg1807 (view) Author: kowey Date: 2007-07-12.06:47:28
Seems like a duplicate of issue415.  Thanks.
(It would be interesting to see if you could (1) reproduce this with 1.0.8, i.e.
if you have the problematic case still lying around (2) reproduce it with 1.0.9
as well)
msg3478 (view) Author: markstos Date: 2008-02-16.03:21:03
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-06-22 13:31:16kwluotocreate
2007-07-12 06:47:37koweysetstatus: unread -> deferred
superseder: + record => Impossible case at PatchRead.lhs:56 (ca 2005-12)
messages: + msg1807
title: Bug report -> record => Impossible case at PatchRead.lhs:56 (1.0.8)
2007-08-03 17:25:48droundysetstatus: deferred -> duplicate
2008-02-16 03:21:04markstossetstatus: duplicate -> resolved-in-unstable
nosy: + markstos
messages: + msg3478
2008-09-04 21:31:07adminsetstatus: resolved-in-unstable -> resolved
nosy: + dagit
2009-08-06 17:38:15adminsetnosy: + jast, Serware, dmitry.kurochkin, darcs-devel, zooko, mornfall, simon, thorkilnaur, - droundy, kwluoto
2009-08-06 20:35:05adminsetnosy: - beschmi
2009-08-10 22:05:40adminsetnosy: + kwluoto, - darcs-devel, zooko, jast, Serware, mornfall
2009-08-11 00:01:15adminsetnosy: - dagit
2009-08-25 17:51:52adminsetnosy: + darcs-devel, - simon
2009-08-27 14:07:00adminsetnosy: tommy, kowey, markstos, darcs-devel, kwluoto, thorkilnaur, dmitry.kurochkin