darcs

Issue 318 Crash on bogus input

Title Crash on bogus input
Priority bug Status resolved
Milestone Resolved in
Superseder Nosy List dagit, darcs-devel, dmitry.kurochkin, kowey, simonpj, thorkilnaur, tommy
Assigned To tommy
Topics

Created on 2006-10-18.16:19:12 by simonpj, last changed 2010-08-05.16:49:10 by kowey.

Files
File name Uploaded Type Edit Remove
unnamed dagit, 2010-08-05.16:27:20 text/html
Messages
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.
History
Date User Action Args
2006-10-18 16:19:12simonpjcreate
2006-10-19 08:10:07dagitsetstatus: unread -> unknown
nosy: + dagit
messages: + msg1139
2006-11-27 17:34:17tommysetnosy: droundy, tommy, kowey, dagit, simonpj
messages: + msg1279
2007-08-11 10:54:58koweysetstatus: unknown -> resolved
nosy: + beschmi
messages: + msg2045
2009-08-06 17:37:00adminsetnosy: + markstos, jast, Serware, dmitry.kurochkin, darcs-devel, zooko, mornfall, simon, thorkilnaur, - droundy, simonpj
2009-08-06 20:34:01adminsetnosy: - beschmi
2009-08-10 21:57:40adminsetnosy: + simonpj, - markstos, darcs-devel, zooko, jast, Serware, mornfall
2009-08-10 23:57:16adminsetnosy: - dagit
2009-08-25 17:50:56adminsetnosy: + darcs-devel, - simon
2009-08-27 13:51:30adminsetnosy: tommy, kowey, darcs-devel, simonpj, thorkilnaur, dmitry.kurochkin
2010-08-05 16:27:22dagitsetfiles: + unnamed
status: resolved -> unknown
messages: + msg11978
nosy: + dagit
2010-08-05 16:49:03koweysetmessages: - msg11978
2010-08-05 16:49:10koweysetstatus: unknown -> resolved