Re: [GHC] #14676: GHCI doesn't recover from bad :add