Re: [GHC] #12475: GHCi no longer handles stdin being closed gracefully