Re: [GHC] #11596: ghci gets confused if a file is deleted