Re: [GHC] #7553: ghc fails to terminate with -O2 or greater