broken pipe when interrupting on Windows
shell> ghc -e "mapM print [1..]"
1
2
3
...
44435
Ctrl^Z
<interactive>: user interrupt
ghc: panic! (the 'impossible' happened)
(GHC version 8.0.2 for x86_64-unknown-mingw32):
<stdout>: hFlush: resource vanished (Broken pipe)
Trac metadata
Trac field |
Value |
Version |
8.0.2 |
Type |
Bug |
TypeOfFailure |
OtherFailure |
Priority |
normal |
Resolution |
Unresolved |
Component |
GHCi |
Test case |
|
Differential revisions |
|
BlockedBy |
|
Related |
|
Blocking |
|
CC |
|
Operating system |
|
Architecture |
|
Edited by Matthew Pickering