Re: [GHC] #8047: Implement line-number %-substitution for prompt-string