Merge pull request #28827 from mpickering/ghc-head-updates
ghcHEAD updates
authored by Peter Simons and committed by GitHub 8 years ago 88bb678b b2e7e231