Re: [GHC] #5729: ForeignPtr leak in ghci