Re: [GHC] #7133: GHCi: strange behaviour after CTRL-C, followed by 'hPutChar: resource vanished (Broken Pipe)' when quitting

2012-12-06 Thread GHC
#7133: GHCi: strange behaviour after CTRL-C, followed by 'hPutChar: resource vanished (Broken Pipe)' when quitting -+-- Reporter: DuncanMortimer| Owner: tibbe Type: bug | Status: n

Re: [GHC] #7133: GHCi: strange behaviour after CTRL-C, followed by 'hPutChar: resource vanished (Broken Pipe)' when quitting

2012-10-14 Thread GHC
#7133: GHCi: strange behaviour after CTRL-C, followed by 'hPutChar: resource vanished (Broken Pipe)' when quitting -+-- Reporter: DuncanMortimer| Owner: igloo Type: bug | Status: n

[GHC] #7133: GHCi: strange behaviour after CTRL-C, followed by 'hPutChar: resource vanished (Broken Pipe)' when quitting

2012-08-10 Thread GHC
#7133: GHCi: strange behaviour after CTRL-C, followed by 'hPutChar: resource vanished (Broken Pipe)' when quitting +--- Reporter: DuncanMortimer | Owner: Type: bug | Statu