[Git][ghc/ghc][wip/int-index/ppr-overloaded-string] 45 commits: Fix subtle bug in GHC.Core.Utils.mkTick