Re: [GHC] #9643: ghci must be restarted to use break point more than once?