Re: [GHC] #4029: ghci leaks memory when loading a file