|
Created on 2007-06-22.13:31:14 by kwluoto, last changed 2009-08-27.14:07:00 by admin.
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.
|
|
Date |
User |
Action |
Args |
2007-06-22 13:31:16 | kwluoto | create | |
2007-07-12 06:47:37 | kowey | set | status: 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:48 | droundy | set | status: deferred -> duplicate |
2008-02-16 03:21:04 | markstos | set | status: duplicate -> resolved-in-unstable nosy:
+ markstos messages:
+ msg3478 |
2008-09-04 21:31:07 | admin | set | status: resolved-in-unstable -> resolved nosy:
+ dagit |
2009-08-06 17:38:15 | admin | set | nosy:
+ jast, Serware, dmitry.kurochkin, darcs-devel, zooko, mornfall, simon, thorkilnaur, - droundy, kwluoto |
2009-08-06 20:35:05 | admin | set | nosy:
- beschmi |
2009-08-10 22:05:40 | admin | set | nosy:
+ kwluoto, - darcs-devel, zooko, jast, Serware, mornfall |
2009-08-11 00:01:15 | admin | set | nosy:
- dagit |
2009-08-25 17:51:52 | admin | set | nosy:
+ darcs-devel, - simon |
2009-08-27 14:07:00 | admin | set | nosy:
tommy, kowey, markstos, darcs-devel, kwluoto, thorkilnaur, dmitry.kurochkin |
|