RE: [commit: ghc] ghc-7.10: fixup T10019 output yet again (9f19723)