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:

[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 |