Re: [GHC] #7497: qsem001 and qsemn001 fail in HEAD