Re: [GHC] #13039: Add options to select GHCi prompt type errors