Re: [GHC] #9971: GHC 7.10 dies with "out of memory"