Re: [GHC] #10763: Failure to build GHC HEAD with 7.8 due to lint error