Re: [GHC] #3273: memory leak due to optimisation