[Git][ghc/ghc][wip/andreask/bump_nofib] 1032 commits: Fix buglet in isEmptyWorkList