Re: [GHC] #8078: Core lint failure for profiled code