|
Created on 2006-10-18.16:19:12 by simonpj, last changed 2010-08-05.16:49:10 by kowey.
File name |
Uploaded |
Type |
Edit |
Remove |
unnamed
|
dagit,
2010-08-05.16:27:20
|
text/html |
|
|
msg1134 (view) |
Author: simonpj |
Date: 2006-10-18.16:19:08 |
|
I typed "nn" instead of "n", and Darcs crashed.
Simon
bash-3.1$ darcs record
hunk ./tests/ghc-regress/gadt/gadt8.hs 11
- EBool :: Bool -> Expr Bool ;
- EIf :: (Expr Bool) -> (Expr a) -> (Expr a) -> Expr a ;
+-- EBool :: Bool -> Expr Bool ;
+-- EIf :: (Expr Bool) -> (Expr a) -> (Expr a) -> Expr a ;
Shall I record this change? (1/?) [ynWsfqadjkc], or ? for help: nn
darcs: <stdin>: hSetBuffering: unsupported operation (Illegal seek)
bash-3.1$ darcs --version
1.0.7 (release)
bash-3.1$
|
msg1139 (view) |
Author: dagit |
Date: 2006-10-19.08:09:57 |
|
This looks like the same bug as issue41.
|
msg1279 (view) |
Author: tommy |
Date: 2006-11-27.17:34:15 |
|
Please see the patch in issue41.
|
msg2045 (view) |
Author: kowey |
Date: 2007-08-11.10:54:57 |
|
For info, this is the patch in question (darcs 1.0.9):
Fri Nov 17 23:14:24 CET 2006 Tommy Pettersson <ptp@lysator.liu.se>
* ignore failure from hSetBuffering
Marking as resolved; please re-open if you object.
|
|
Date |
User |
Action |
Args |
2006-10-18 16:19:12 | simonpj | create | |
2006-10-19 08:10:07 | dagit | set | status: unread -> unknown nosy:
+ dagit messages:
+ msg1139 |
2006-11-27 17:34:17 | tommy | set | nosy:
droundy, tommy, kowey, dagit, simonpj messages:
+ msg1279 |
2007-08-11 10:54:58 | kowey | set | status: unknown -> resolved nosy:
+ beschmi messages:
+ msg2045 |
2009-08-06 17:37:00 | admin | set | nosy:
+ markstos, jast, Serware, dmitry.kurochkin, darcs-devel, zooko, mornfall, simon, thorkilnaur, - droundy, simonpj |
2009-08-06 20:34:01 | admin | set | nosy:
- beschmi |
2009-08-10 21:57:40 | admin | set | nosy:
+ simonpj, - markstos, darcs-devel, zooko, jast, Serware, mornfall |
2009-08-10 23:57:16 | admin | set | nosy:
- dagit |
2009-08-25 17:50:56 | admin | set | nosy:
+ darcs-devel, - simon |
2009-08-27 13:51:30 | admin | set | nosy:
tommy, kowey, darcs-devel, simonpj, thorkilnaur, dmitry.kurochkin |
2010-08-05 16:27:22 | dagit | set | files:
+ unnamed status: resolved -> unknown messages:
+ msg11978 nosy:
+ dagit |
2010-08-05 16:49:03 | kowey | set | messages:
- msg11978 |
2010-08-05 16:49:10 | kowey | set | status: unknown -> resolved |
|